1SYNOPSIS
2        mapping m_delete(mapping map, mixed key)
3
4DESCRIPTION
5        Remove the entry with index 'key' from mapping 'map'. The
6        changed mapping 'map' is also returned as result.
7        If the mapping does not have an entry with index 'key',
8        nothing is changed.
9
10SEE ALSO
11        mappingp(E), mkmapping(E), m_add(E), m_indices(E), m_values(E),
12        sizeof(E), widthof(E)
13