ss="keyword">module</span> F_big_int: <code class="code">sig</code> <a href="F_big_int.html">..</a> <code class="code">end</code></pre><div class="info module top">
A field over <code class="code">big_int</code> modulo <code class="code">p</code>.<br>
</div>
<hr width="100%">

<pre><span id="VALmake_barrett_reduction"><span class="keyword">val</span> make_barrett_reduction</span> : <code class="type">Z.t -> Z.t -> Z.t</code></pre>
<pre><span class="keyword">module</span> <a href="F_big_int.MakeCore.html">Ma