List of Import References :
See Array
See BOOL
See DENOTATION
See Nat
SIGNATURE ArrayMap [from,to]
$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)
-- mappings of arrays
SORT from to
IMPORT Array[from] ONLY array
Array[to] ONLY array
FUN * : (from->to)**array[from]->array[to]
-- f * a
-- map: apply f to all elements of a
next node: ArrayReduce,
prev node: ArrayFold,
up to node: Subsystem Arrays