.TH "Set.OrderedType" 3o source: 2019-01-25 OCamldoc "OCaml library"
.SH NAME
Set.OrderedType \- Input signature of the functor Set.Make.
.SH Module type
Module type   Set.OrderedType
.SH Documentation
.sp
Module type
.BI "OrderedType"
 = 
.B sig  end

.sp
Input signature of the functor 
.B Set\&.Make
\&.

.sp

.sp
.sp
.I type t 

.sp
The type of the set elements\&.

.sp

.I val compare 
: 
.B t -> t -> int
.sp
A total ordering function over the set elements\&.
This is a two\-argument function 
.B f
such that
.B f e1 e2
is zero if the elements 
.B e1
and 
.B e2
are equal,
.B f e1 e2
is strictly negative if 
.B e1
is smaller than 
.B e2
,
and 
.B f e1 e2
is strictly positive if 
.B e1
is greater than 
.B e2
\&.
Example: a suitable ordering function is the generic structural
comparison function 
.B Pervasives\&.compare
\&.

.sp