{-# OPTIONS --safe #-}
open import Ledger.Conway.Specification.Gov.Base
  using (GovStructure)
module Ledger.Dijkstra.Specification.Gov.Actions
  (gs : GovStructure) where

open import Ledger.Conway.Specification.Gov.Actions gs public