Module generic

Source
Expand description

Operation to load generic bounded nat parameter.

Structs§

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

Statics§

LOAD_NAT_OP_ID
Name of the operation for loading generic BoundedNat parameters.