Index of /code/doc/efun/mappings

	Name	Last modified	Size	Description
	Parent Directory		-
	allocate_mapping	1997-07-09 08:46	798
	filter_mapping	1997-07-09 08:46	341
	keys	1997-07-09 08:46	554
	m_delete	1997-07-09 08:46	646
	m_indices	1997-07-09 08:46	249
	m_values	1997-07-09 08:46	253
	map_delete	1997-07-09 08:46	760
	map_mapping	1997-07-09 08:46	708
	match_path	1997-07-09 08:46	475
	values	1997-07-09 08:46	466