<link rel="stylesheet" href="/css/main.css"><div class="ocamldoc">
<div class="navbar">&#xA0;<a class="up" href="Set.html" title="Set">Up</a>
&#xA0;<a class="post" href="Set.S.html" title="Set.S">Next</a>
</div>
<h1>Module type <a href="type_Set.OrderedType.html">Set.OrderedType</a></h1>

<pre><span class="keyword">module</span> type OrderedType = sig .. end</pre><div class="info modtype top">
Input signature of the functor <a href="Set.Make.html"><code class="code">Set.Make</code></a>.<br>
</div>
<hr width="100%">

<pre id="TYPEt"><span class="keyword">type</span> t;
</pre>
<div class="info ">
The type of the set elements.<br>
</div>


<pre id="VALcompare"><span class="keyword">let</span> compare: (t, t) =&gt; int;
</pre><div class="info ">
A total ordering function over the set elements.
          This is a two-argument function <code class="code">f</code> such that
          <code class="code">f e1 e2</code> is zero if the elements <code class="code">e1</code> and <code class="code">e2</code> are equal,
          <code class="code">f e1 e2</code> is strictly negative if <code class="code">e1</code> is smaller than <code class="code">e2</code>,
          and <code class="code">f e1 e2</code> is strictly positive if <code class="code">e1</code> is greater than <code class="code">e2</code>.
          Example: a suitable ordering function is the generic structural
          comparison function <a href="Pervasives.html#VALcompare"><code class="code">Pervasives.compare</code></a>.<br>
</div>
</div>