|
[____]
An associative array in Magma is an array which may be
indexed by arbitrary elements of an index structure I. The indexing
may thus be by objects which are not integers. These objects are
known as the keys. For each current key there is an associated
value. The values associated with the
keys need not lie in a fixed universe but may be of any type.
[Next][Prev] [Right] [____] [Up] [Index] [Root]
|