Tells whether T is an integer type, and if so whether it is signed and how many bits wide.
is_integer_type :: ($T: Type) -> (is_integer: bool, is_signed: bool, bits: u8)
Parameters
- $T: Type
Returns
- is_integer: bool
- is_signed: bool
- bits: u8
is_integer, is_signed, bits := is_integer_type(s16);
assert(is_integer && is_signed && bits == 16);
assert(!is_integer_type(float32));