********************************************************** | |
* ACHTUNG: EFUN EXISTIERT NICHT MEHR! NICHT VERWENDEN! * | |
********************************************************** | |
SYNOPSIS: | |
int widthof(mapping map) | |
DESCRIPTION: | |
Return the number of values per index in mapping 'map'. It means | |
the width of the mapping 'map'. | |
SEE ALSO: | |
mappingp(E), mkmapping(E), m_indices,(E) m_values(E), | |
m_delete(E), sizeof(E) |