module type OrderedType : sig ... end
The input signature of the functorSet.Make
.t
is the type of the set elements.compare
is a total ordering function over the set elements. This is a two-argument functionf
such thatf e1 e2
is zero if the elementse1
ande2
are equal,f e1 e2
is strictly negative ife1
is smaller thane2
, andf e1 e2
is strictly positive ife1
is greater thane2
. Example: a suitable ordering function is the generic structural comparison functioncompare
.
Types | |
t |
Abstract |
Functions |
compare
: t -> t -> int |