cardano-base
cardano-base copied to clipboard
Lift `totalPeriodsKES` to the type level
trafficstars
Similar to key and seed sizes, define TotalPeriodsKES as a type-level Nat, and implement term-level totalPeriodsKES in terms of natVal.