content: {-# LANGUAGE PatternSynonyms #-}
  
  module Cardano.Ledger.Shelley.Core (
    ShelleyEraTxBody (..),
    Withdrawals (..),
    ShelleyEraTxCert (..),
    pattern MirTxCert,
    MIRCert (..),
    MIRPot (..),
    MIRTarget (..),
    pattern GenesisDelegTxCert,
    pattern RegTxCert,
    pattern UnRegTxCert,
    pattern DelegStakeTxCert,
    module Cardano.Ledger.Core,
    module Cardano.Ledger.Shelley.Governance,
  ) where
  
  import Cardano.Ledger.Address (Withdrawals (..))
  import Cardano.Ledger.Core (
    EraPParams (
      DowngradePParams,
      PParamsHKD,
      UpgradePParams,
      applyPPUpdates,
      ppDG,
      ppProtocolVersionL,
      ppuProtocolVersionL
    ),
   )
  import Cardano.Ledger.Core hiding (EraPParams (..))
  import Cardano.Ledger.Shelley.Governance
  import Cardano.Ledger.Shelley.Tx ()
  import Cardano.Ledger.Shelley.TxBody (ShelleyEraTxBody (..))
  import Cardano.Ledger.Shelley.TxCert (
    MIRCert (..),
    MIRPot (..),
    MIRTarget (..),
    ShelleyEraTxCert (..),
    pattern DelegStakeTxCert,
    pattern GenesisDelegTxCert,
    pattern MirTxCert,
    pattern RegTxCert,
    pattern UnRegTxCert,
   )
  