<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"> <html> <head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="previous" href="Reins.Types.Nativeint.html"> <link rel="next" href="Reins.Types.Ratio.html"> <link rel="Up" href="Reins.Types.html"> <link title="Index of types" rel=Appendix href="index_types.html"> <link title="Index of exceptions" rel=Appendix href="index_exceptions.html"> <link title="Index of values" rel=Appendix href="index_values.html"> <link title="Index of modules" rel=Appendix href="index_modules.html"> <link title="Index of module types" rel=Appendix href="index_module_types.html"> <link title="Reins" rel="Chapter" href="Reins.html"><title>Reins.Types.Big_int</title> </head> <body> <div class="navbar"><a href="Reins.Types.Nativeint.html">Previous</a> <a href="Reins.Types.html">Up</a> <a href="Reins.Types.Ratio.html">Next</a> </div> <center><h1>Module <a href="type_Reins.Types.Big_int.html">Reins.Types.Big_int</a></h1></center> <br> <pre><span class="keyword">module</span> Big_int: <code class="code">sig</code> <a href="Reins.Types.Big_int.html">..</a> <code class="code">end</code></pre><hr width="100%"> <pre><span class="keyword">type</span> <a name="TYPEbig_int"></a><code class="type"></code>big_int = <code class="type">Big_int.big_int</code> </pre> <pre><span class="keyword">val</span> <a name="VALzero_big_int"></a>zero_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALunit_big_int"></a>unit_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALminus_big_int"></a>minus_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALabs_big_int"></a>abs_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALadd_big_int"></a>add_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsucc_big_int"></a>succ_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALadd_int_big_int"></a>add_int_big_int : <code class="type">int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsub_big_int"></a>sub_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALpred_big_int"></a>pred_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALmult_big_int"></a>mult_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALmult_int_big_int"></a>mult_int_big_int : <code class="type">int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsquare_big_int"></a>square_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsqrt_big_int"></a>sqrt_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALquomod_big_int"></a>quomod_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> * <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv_big_int"></a>div_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALmod_big_int"></a>mod_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALgcd_big_int"></a>gcd_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALpower_int_positive_int"></a>power_int_positive_int : <code class="type">int -> int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALpower_big_int_positive_int"></a>power_big_int_positive_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALpower_int_positive_big_int"></a>power_int_positive_big_int : <code class="type">int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALpower_big_int_positive_big_int"></a>power_big_int_positive_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsign_big_int"></a>sign_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALcompare_big_int"></a>compare_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALeq_big_int"></a>eq_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALle_big_int"></a>le_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALge_big_int"></a>ge_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALlt_big_int"></a>lt_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALgt_big_int"></a>gt_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALmax_big_int"></a>max_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALmin_big_int"></a>min_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALnum_digits_big_int"></a>num_digits_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALstring_of_big_int"></a>string_of_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALbig_int_of_string"></a>big_int_of_string : <code class="type">string -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALbig_int_of_int"></a>big_int_of_int : <code class="type">int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALis_int_big_int"></a>is_int_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALint_of_big_int"></a>int_of_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALfloat_of_big_int"></a>float_of_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> float</code></pre><pre><span class="keyword">val</span> <a name="VALnat_of_big_int"></a>nat_of_big_int : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> Nat.nat</code></pre><pre><span class="keyword">val</span> <a name="VALbig_int_of_nat"></a>big_int_of_nat : <code class="type">Nat.nat -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALbase_power_big_int"></a>base_power_big_int : <code class="type">int -> int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsys_big_int_of_string"></a>sys_big_int_of_string : <code class="type">string -> int -> int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALround_futur_last_digit"></a>round_futur_last_digit : <code class="type">string -> int -> int -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALapprox_big_int"></a>approx_big_int : <code class="type">int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> string</code></pre><pre><span class="keyword">type</span> <a name="TYPEt"></a><code class="type"></code>t = <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code> </pre> <pre><span class="keyword">val</span> <a name="VALequal"></a>equal : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALcompare"></a>compare : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALhash"></a>hash : <code class="type">'a -> int</code></pre><pre><span class="keyword">val</span> <a name="VALgen"></a>gen : <code class="type">?size:'a -> Random.State.t -> Big_int.big_int</code></pre><pre><span class="keyword">val</span> <a name="VALzero"></a>zero : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALone"></a>one : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALminus_one"></a>minus_one : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALabs"></a>abs : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALneg"></a>neg : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsucc"></a>succ : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALpred"></a>pred : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALadd"></a>add : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALsub"></a>sub : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALmul"></a>mul : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiv"></a>div : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALrem"></a>rem : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -><br> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALof_int"></a>of_int : <code class="type">'a -> int -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALto_int"></a>to_int : <code class="type">'a -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALof_float"></a>of_float : <code class="type">float -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre><pre><span class="keyword">val</span> <a name="VALto_float"></a>to_float : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> float</code></pre><pre><span class="keyword">val</span> <a name="VALto_string"></a>to_string : <code class="type"><a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a> -> string</code></pre><pre><span class="keyword">val</span> <a name="VALof_string"></a>of_string : <code class="type">string -> <a href="Reins.Types.Big_int.html#TYPEbig_int">big_int</a></code></pre></body></html>
