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

init(-Map)

Initialise a new (empty) map.

Map: The new map

Fail Conditions

Never fails.

Resatisfiable

no

See Also

is_empty / 1