virtual_map.size

pure function size(): integer

Get the size (number of entries) of this map.

Since 0.6.0