pe">'a</code> ord</span> = <code class="type">'a -> 'a -> int</code> </pre>


<pre><span id="TYPErandom_gen"><span class="keyword">type</span> <code class="type">'a</code> random_gen</span> = <code class="type">Random.State.t -> 'a</code> </pre>


<pre><span id="TYPEprinter"><span class="keyword">type</span> <code class="type">'a</code> printer</span> = <code class="type">Format.formatter -> 'a -> unit</code> </pre>


<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type">'a</code> t</sp