{-# OPTIONS --safe #-}
module Ledger.Dijkstra.Specification.Gov.Base where

open import Ledger.Conway.Specification.Gov.Base public