/doc/efun/copy_mapping
SYNOPSIS
-
mapping copy_mapping(mapping)
DESCRIPTION
-
This efun is needed to create copies of mappings instead of
just passing a reference, like adding/subtraction from a
mapping do.
SEE ALSO
-
mappings
Nightfall@quest.tat.physik.uni-tuebingen.de
Automatically generated on Don, 11. Apr 1996