cardano-ledger-test-9.9.9.9: Testing harness, tests and benchmarks for Shelley style cardano ledgers
Safe HaskellSafe-Inferred
LanguageHaskell2010

Test.Cardano.Ledger.Constrained.Conway.GovCert

Description

Specs necessary to generate, environment, state, and signal for the GOVCERT rule

Synopsis

Documentation

notYetResigned ∷ (HasSpec fn x, Ord x, IsConwayUniv fn) ⇒ Map x (CommitteeAuthorization StandardCrypto) → Term fn x → Pred fn Source #

Operations for authenticating a HotKey, or resigning a ColdKey are illegal if that key has already resigned.