<link rel="stylesheet" href="/css/main.css"><div class="ocamldoc"><pre>sig

&nbsp;&nbsp;module&nbsp;type&nbsp;OrderedType&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;sig
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;type&nbsp;t
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;val&nbsp;compare&nbsp;:&nbsp;Set.OrderedType.t&nbsp;-&gt;&nbsp;Set.OrderedType.t&nbsp;-&gt;&nbsp;int
&nbsp;&nbsp;&nbsp;&nbsp;end
&nbsp;&nbsp;module&nbsp;type&nbsp;S&nbsp;=
&nbsp;&nbsp;&nbsp;&nbsp;sig
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;type&nbsp;elt
&nbsp;&nbsp;&nbsp;&nb