minigent/examples/0_basics/04-too-large/in.minigent

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;