module type ComparedType =Type of modules that may be used as keys forsig
..end
Map
and Hashtbl
.type
t
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
compare x y
is < 0
, = 0
,
or > 0
when x
precedes y
, is equal to y
, or follows
y
in the order.
(compare x y = 0) =
Util.ComparedType.equal
x y