Sizing

The length of a string can be obtain by calling the predefined functions String.length or String.size:

const length : nat = String.size("Alice"); // length == 5n

Note: See predefined namespace String