next node: ISeqMapEnv,
prev node: ISeqIndex,
up to node: Subsystem Infinite Sequences


ISeqMap

Signature of ISeqMap

List of Import References :
See BOOL
See DENOTATION
See ISeq
See Nat
See Option
See Seq

SIGNATURE ISeqMap[from,to]

$Date: 1998/06/16 15:59:59 $ ($Revision: 1.1.1.1 $)

--

-- Parameter
SORT from to

IMPORT ISeq[from] ONLY iseq
       ISeq[to]   ONLY iseq

FUN * : (from->to)**iseq[from]->iseq[to]                        
        -- f * s
        -- apply f to all elements of s


next node: ISeqMapEnv,
prev node: ISeqIndex,
up to node: Subsystem Infinite Sequences