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


ISeqSort

Signature of ISeqSort

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

SIGNATURE ISeqSort[data]

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

-- functions related to sorting of sequences--

-- Parameter
SORT data

IMPORT  ISeq[data] ONLY iseq

FUN merge: (data**data->bool)->iseq[data]**iseq[data]->iseq[data] 
           -- merge (<) (s1, s2)
           -- merges two sequences s1 and s2  with respect to <
           -- provided that s1 and s2 are sorted with respect to <
           -- the result of merge is sorted too.


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