set.len

pure function len(): integer

Deprecated (for removal): Use 'size' instead

Get the size (number of elements) of this collection.

Since 0.6.0

Alias of set.size