Module generic

Operation to load generic bounded nat parameter.

Structs

• LoadNat
  Concrete load nat operation.
• LoadNatDef
  Definition of the load nat operation.

Constants

• LOAD_NAT_OP_ID
  Name of the operation for loading generic BoundedNat parameters.