<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 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> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> big_int = <span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> zero_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> unit_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> minus_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> abs_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> add_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> succ_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> add_int_big_int :<br> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> sub_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> pred_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> mult_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> mult_int_big_int :<br> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> square_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> sqrt_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> quomod_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int * <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> div_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> mod_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> gcd_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> power_int_positive_int : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> power_big_int_positive_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> power_int_positive_big_int :<br> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> power_big_int_positive_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> sign_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> compare_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> eq_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> le_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> ge_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> lt_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> gt_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> max_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> min_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> num_digits_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> string_of_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> big_int_of_string : string <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> big_int_of_int : int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> is_int_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> int_of_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> float_of_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> nat_of_big_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Nat</span>.nat<br> <span class="keyword">val</span> big_int_of_nat : <span class="constructor">Nat</span>.nat <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> base_power_big_int :<br> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> sys_big_int_of_string :<br> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> round_futur_last_digit : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> approx_big_int : int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> string<br> <span class="keyword">type</span> t = <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> equal :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> compare :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> hash : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> gen : ?size:<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> zero : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> one : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> minus_one : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> abs : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> neg : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> succ : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> pred : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> add :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> sub :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> mul :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> div :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> rem :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> of_int : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> to_int : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> of_float : float <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">val</span> to_float : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> of_string : string <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Big_int</span>.big_int<br> <span class="keyword">end</span></code></body></html>