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