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