efun: m_delete


SYNOPSIS:

        mapping m_delete(mapping map, mixed key)

DESCRIPTION:

        Remove the entry with index 'key' from mapping 'map'. The
        changed mapping 'map' is also returned as result.
        If the mapping does not have an entry with index 'key',
        nothing is changed.

SEE ALSO:

	
	mappingp(E), mkmapping(E), m_add(E), m_indices(E), m_values(E),
	sizeof(E), widthof(E)

UNItopia (mudadm@UNItopia.de)