List of Import References :
See BOOL
See DENOTATION
See Nat
See Option
See Seq
SIGNATURE SeqFold[data]
$Date: 1998/06/16 15:59:59 $ ($Revision: 1.1.1.1 $)
-- folding of sequences -- Parameter SORT data IMPORT Seq[data] ONLY seq FUN / \ : (data ** data -> data) ** seq[data] -> data -- folding of sequences -- informally -- + / <e0, e1, ..., en) == e0 + (e1 + ( ... + en) ... ) -- + \ <e0, e1, ..., en) == (... (e0 + e1) + ... ) + en -- undefined for empty sequences
next node: SeqIndex,
prev node: SeqFilter,
up to node: Subsystem Sequences Proper