module type AuxOrderedType =Input signature of thesig
..end
MakeAux
functor.type
t
type
aux
val compare : aux ->
t -> t -> int
f
such that
f aux e1 e2
is zero if the keys e1
and e2
are equal,
f aux e1 e2
is strictly negative if e1
is smaller than e2
,
and f aux e1 e2
is strictly positive if e1
is greater than e2
.
aux
is an auxiliary argument.