ParamConstraint Type
For MVP could allow only PInt case constraints The Errors are human-readable explanations of why violating the constraint is not allowed. They should if possible be component-specific "constant MyConstName is 3 bit width so not allowed to be less than -4".
Union cases
Union case | Description |
Full Usage:
MaxVal(ParamExpression, ParamError)
Parameters:
ParamExpression
Item2 : ParamError
|
|
Full Usage:
MinVal(ParamExpression, ParamError)
Parameters:
ParamExpression
Item2 : ParamError
|
|