The following tables shows trait functions defined for integer types.
The sort `S`

is a meta sort representing any of `char`

,
`short`

, `int`

, `long`

, `unsignedChar`

,
`unsignedShort`

, `unsignedInt`

, and `unsignedLong`

.
One exception is in the signature of the trait function `inRange`

in which the sort `S`

stands for any `signed`

integer sorts
(e.g., `char`

, `int`

, etc.).

Trait Functions Signatures ------------------ ------------------------------ CHAR_MIN, CHAR_MAX -> char SHRT_MIN, SHRT_MAX -> short INT_MIN, INT_MAX -> int LONG_MIN, LONG_MAX -> long UCHAR_MAX -> unsignedChar USHRT_MAX -> unsignedShort UINT_MAX -> unsignedInt ULONG_MAX -> unsignedLong to_short char -> short to_bool, to_LSL_Bool int -> Bool to_int Bool -> int to_int short -> int to_long int -> long to_unsignedShort unsignedChar -> unsignedShort to_unsignedInt unsignedShort -> unsignedInt to_unsignedLong unsignedInt -> unsignedLong 0, 1 -> S succ, pred -> S inRange S -> Bool -, abs S -> S -, +, * S, S -> S div, mod, min, max S, S -> S <, >, <=, >= S, S -> Bool between S, S, S -> Bool strictly_between S, S, S -> Bool between S, S, S, S -> Bool strictly_between S, S, S, S -> Bool =, ~= S, S -> Bool

Go to the first, previous, next, last section, table of contents.