size package:containers

Number of elements in the map.
size empty                                   == 0
size (singleton 1 'a')                       == 1
size (fromList([(1,'a'), (2,'c'), (3,'b')])) == 3
Cardinality of the set.
The number of elements in the map.
size empty                                   == 0
size (singleton 1 'a')                       == 1
size (fromList([(1,'a'), (2,'c'), (3,'b')])) == 3
The number of elements in the set.
Test if each node of a map reports its size correctly.