string
type comes with 3 operators:length
: returns the length of the stringslice
: returns a subset of a string:concat
: returns the concatenation two stringsto_string
: converts a nat value to a stringstring
type supports the 6 comparison operators = <= >= < > <>
.