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