virtual_map.len

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 virtual_map.size