Skip to main content
Version: 1.4.0

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