Generates valid protocol parameters
TODO: The protocol parameters still need to be aligned with the formal spec.
:: a typeCtrl KGHC 9.14.1 · lts/ghc-9.14.x · 99ffbb8 · 2026-10-19
Modulebyron-spec-ledger-1.1.0.1Haskell2010
Generators for the Ledger.Update values.
Generates valid protocol parameters
TODO: The protocol parameters still need to be aligned with the formal spec.