Efun-Gruppe Mapping

• copy
• deep_copy
• filter
• filter_indices
• m_allocate
• m_contains
• m_delete
• m_entry
• m_indices
• m_reallocate
• m_values
• map
• map_indices
• mappingp
• member
• mkmapping
• rmember
• sizeof
• unmkmapping
• walk_mapping
• widthof