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

is_empty(+Map)

Check whether a map is empty.

Map: A map

Fail Conditions

Fails if Map is not an empty map.

Resatisfiable

no

See Also

init / 1