B2R2
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
-
The integer register number.
Returns: int<MeasureProduct<T, MeasureOne>>
A RegisterID wrapping n.
Modifiers: inline |
Creates a platform-independent register ID representation.
|