Register (B2R2)

Register Module

This module exposes several useful functions to handle EVM registers.

Function or value	Description
`Register.ofRegID n` Full Usage: `Register.ofRegID n` Parameters: n : `RegisterID` Returns: `Register`	n : `RegisterID` Returns: `Register`
`Register.ofString str` Full Usage: `Register.ofString str` Parameters: str : `string` Returns: `Register`	str : `string` Returns: `Register`
`Register.toRegID reg` Full Usage: `Register.toRegID reg` Parameters: reg : `Register` Returns: `int<MeasureProduct<T, MeasureOne>>`	reg : `Register` Returns: `int<MeasureProduct<T, MeasureOne>>`
`Register.toRegType _arg1` Full Usage: `Register.toRegType _arg1` Parameters: _arg1 : `Register` Returns: `int<MeasureProduct<rt, MeasureOne>>`	_arg1 : `Register` Returns: `int<MeasureProduct<rt, MeasureOne>>`
`Register.toString _arg1` Full Usage: `Register.toString _arg1` Parameters: _arg1 : `Register` Returns: `string`	_arg1 : `Register` Returns: `string`