{-# OPTIONS --safe #-}

open import Ledger.Core.Specification.Crypto using (CryptoStructure)
open import Ledger.Core.Specification.Epoch using (EpochStructure)

module Ledger.Dijkstra.Specification.Script
  (crypto : CryptoStructure)
  (es     : EpochStructure) where

open import Ledger.Conway.Specification.Script crypto es public