The string
type comes with 3 operators:
length
: returns the length of the string
slice
: returns a subset of a string:
the first argument is the offset (starting from 0)
the second argument is the length of the subset
concat
: returns the concatenation two strings
to_string
: converts a nat value to a string
effect {var s1 = "this is ";var s2 = "a string";if slice(s2,2,6) = "string" then transfer 1tz to dev;if concat(s1,s2) = "this is a string" then transfer 1tz to dev;if length(s1) = 8 then transfer 1tz to dev;if to_string(5) = "5" then transfer 1tz to dev;}
The string
type supports the 6 comparison operators = <= >= < > <>
.