Constraints to be applied on nat
Since 2.6.0
Optional
Upper bound for the generated postive integers (included)
0x7fffffff Copy
0x7fffffff
Constraints to be applied on nat
Remarks
Since 2.6.0