next node: OptionConv,
prev node: DynConv,
up to node: Subsystem UnionLike


OptionCompare

Signature of OptionCompare

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

SIGNATURE OptionCompare[data]

$Date: 1998/06/16 16:00:06 $ ($Revision: 1.1.1.1 $)

-- comparing options

-- Parameter
SORT data

IMPORT Option[data] ONLY option
       RelCmp       ONLY rel < = >

FUN cmp  : (data ** data -> bool) -> option[data] ** option[data] -> rel
           -- cmp (<) (s1, s2)
           -- lifting of < to options
           -- given a total, irreflexive order, produces
           -- such an order. 

FUN eq?  : (data ** data -> bool) -> option[data] ** option[data] -> bool
           -- equality
           -- (should be used with an equivalence relation)


next node: OptionConv,
prev node: DynConv,
up to node: Subsystem UnionLike