
is_empty(+Map)

   Check whether a map is empty.

Arguments
   Map                 A map

Type
   library(m_map)

Fail Conditions
   Fails if Map is not an empty map.

Resatisfiable
   no

See Also
   init / 1
