Lift `totalPeriodsKES` to the type level #364

Open

Open

Lift totalPeriodsKES to the type level#364

Labels

opened

Similar to key and seed sizes, define TotalPeriodsKES as a type-level Nat, and implement term-level totalPeriodsKES in terms of natVal.

Metadata

Assignees

No one assigned

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests