SeqCompare

Functions of this structure are old fashioned. Please use the functions < and = from Seq. These are more suited for tools like ORDINATRICE.

Signature of SeqCompare

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

SIGNATURE SeqCompare[data]

$Date: 2010-09-30 18:24:17 +0200 (Do, 30. Sep 2010) $ ($Revision: 616 $)

-- Parameter
SORT data

IMPORT Seq[data] ONLY seq
       RelCmp    ONLY rel < = > <? =? >?

cmp (#) (s1, s2) constitutes the lexicographical lifting of # from elements to sequences. Given a total, irreflexive order, produces such an order.

FUN cmp  : (data ** data -> bool) ->seq[data] ** seq[data] -> rel
/$ WARNING [cmp] cmp is old fashioned $/

This function defines equality on sequences, if it is called with an equality relation.

FUN eq?  : (data ** data -> bool) -> seq[data] ** seq[data] -> bool
/$ WARNING [eq?] eq? is old fashioned $/

next node: SeqConv,
prev node: Seq,
up to node: Subsystem Sequences Proper