RegisterID Module
Provides a function to create a RegisterID. Although it is essentially an integer, we internally use a "unit of measure" to represent it, meaning that one needs to go through this module in order to create a new ID.
Functions and values
| Function or value | Description |
Full Usage:
RegisterID.create n
Parameters:
int
Returns: int<MeasureProduct<T, MeasureOne>>
Modifiers: inline |
B2R2