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 · d82dee8 · 2026-10-12
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.