Expand description
Operation to load generic bounded nat parameter.
Structs§
- LoadNat
- Concrete load nat operation.
- Load
NatDef - Definition of the load nat operation.
Statics§
- LOAD_
NAT_ OP_ ID - Name of the operation for loading generic
BoundedNat
parameters.