Methods for the builtin nat16 type.
int max @public
Maximum value of a nat16.
Used as T.nat16.max
int min @public
Minimum value of a nat16.
Used as T.nat16.min