a function could be written using a pattern

max: (# x, y, z: @integerenter (x, y)do (if x >= y // True then x -> z else y -> z if)exit z
#)The x, y and z are local variables. The enter keyword specifies the input parameters to the pattern, while the exit keyword specifies the result of the function. Between the two, the do keyword prefixes the sequence of operations to be made. The conditional block is delimited by (if and if), that is