
is_empty(+Map)

   Check whether a map is empty.

Arguments
   Map                 A map

Type
   library(m_map)

Resatisfiable
   no

Fail Conditions
   Fails if Map is not an empty map.

See Also
   init / 1
