next node: SeqIndex,
prev node: SeqFilter,
up to node: Subsystem Sequences Proper


SeqFold

Signature of SeqFold

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