| bigU16 : Unit -> U16; | |
| bigU32 : Unit -> U32; | |
| bigU64 : Unit -> U64; | |
| bigU8 : Unit -> U8; | |
| smallU16 : Unit -> U16; | |
| smallU16 x = 65535 : U16; | |
| smallU32 : Unit -> U32; | |
| smallU32 x = 4294967295 : U32; | |
| smallU64 : Unit -> U64; | |
| smallU64 x = 18446744073709551615 : U64; | |
| smallU8 : Unit -> U8; | |
| smallU8 x = 255 : U8; |