blob: bb9d453f9818a4d0b9d19c27876b77927c71594a [file] [log] [blame]
SYNOPSIS
mapping m_delete(mapping map, mixed key)
BESCHREIBUNG
Loescht den Eintrag mit dem Index <key> aus dem Mapping <map> und
liefert das veraenderte Mapping zurueck. Wenn <map> keinen Eintag
mit dem Index <key> enthaelt, wird nichts veraendert.
SIEHE AUCH
mappingp(E), mkmapping(E), m_add(E), m_indices(E), m_values(E),
sizeof(E), widthof(E)