text.len

pure function len(): integer

Deprecated (for removal): Use 'size' instead

Returns the number of characters in this text.

Since 0.6.0

Alias of text.size