Types, primitives and literals

Ursus types are listed in the following table:

Built-in types:

typeDescriptionLiterals
intsigned int{0}, {-1}, {1}, ...
int8signed int for 1 byte{0}, {-1}, {1}, ...
int16signed int for 2 bytes{0}, {-1}, {1}, ...
int32signed int for 4 bytes{0}, {-1}, {1}, ...
int64signed int for 8 bytes{0}, {-1}, {1}, ...
int128signed int for 16 bytes{0}, {-1}, {1}, ...
int256signed int for 32 bytes{0}, {-1}, {1}, ...
uintunsigned int{0}, {1}, ...
uuint8unsigned int for 1 byte{0}, {1}, ...
uint16unsigned int for 2 bytes{0}, {1}, ...
uint32unsigned int for 4 bytes{0}, {1}, ...
uint64unsigned int for 8 bytes{0}, {1}, ...
uint128unsigned int for 16 bytes{0}, {1}, ...
uint256unsigned int for 32 bytes{0}, {1}, ...
listArray a or a[]array of a type elementarray ( x ; y ; ... ; z)
listVector avector of a type elementTODO
stringbasic string type{"something"}
booleanbool typeTRUE
optional aoption type (see there)some(x)
bytesthe same as string{"something"}
mapping a bhash-map typeTODO
queuequeue of uint elementsTODO
tuple a b or a**b or a*btype of pair[ x , y ] or [ x , y , z ]
TvmCellfor Everscale (see there 1.1.3)TODO
TvmSlicefor Everscale (see there 1.1.3)TODO
TvmBuilderfor Everscale (see there 1.1.3)
addressTODO[ x , y ]