[ library(m_map) | Reference Manual | Alphabetic Index ]

# count(+Map, ?Count)

Count the number of elements in a map.

Map
  A map
Count
  The number of elements in Map

## Description

Counts the number of elements in the map Map, and attempts to unify the result with Count.

This predicate should only be called with maps created by other predicates from the map module.

### Fail Conditions

Fails if Count does not unify with the number of elements in Map.

### Resatisfiable

no