pure function len(): integer
Deprecated (for removal): Use 'size' instead
Get the size (number of entries) of this map.
Since
0.6.0
Alias of map.size