Mappings of sequences, written *
.
List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Seq
SIGNATURE SeqMap[from,to]
$Date: 1998/06/16 15:59:59 $ ($Revision: 1.1.1.1 $)
SORT from to
IMPORT Seq[from] ONLY seq Seq[to] ONLY seq
f * s
: apply f to all elements of s
FUN * : (from -> to) ** seq[from] -> seq[to]
long name with and without currying
FUN map : (from -> to) ** seq[from] -> seq[to] FUN map : (from -> to) -> seq[from] -> seq[to]
next node: SeqMapEnv,
prev node: SeqIndex,
up to node: Subsystem Sequences Proper