cardano-ledger-shelley-1.19.0.0: Shelley Ledger Executable Model
Safe HaskellNone
LanguageHaskell2010

Test.Cardano.Ledger.Shelley.Imp.PoolSpec

Documentation

spec ∷ (ShelleyEraImp era, Event (EraRule "RUPD" era) ~ RupdEvent) ⇒ SpecWith (ImpInit (LedgerSpec era)) Source #