{-# OPTIONS --safe #-}
open import Ledger.Core.Specification.Crypto
  using (CryptoStructure)
open import Ledger.Dijkstra.Specification.Script
  using (ScriptStructure)
open import Ledger.Core.Specification.Epoch
  using (EpochStructure)

module Ledger.Dijkstra.Specification.PParams
  (crypto : CryptoStructure )
  (es     : EpochStructure)
  (ss     : ScriptStructure crypto es)
  where

open import Ledger.Conway.Specification.PParams crypto es ss public