Test.Cardano.Ledger.Constrained.Conway.NewEpoch
Description
Specs necessary to generate state for the NEWEPOCH rule
newEpochStateSpec ∷ Specification fn (NewEpochState ConwayEra) Source #