<html><head> <link rel="stylesheet" href="style.css" type="text/css"> <meta content="text/html; charset=utf8" 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="Z" rel="Chapter" href="Z.html"> <link title="Q" rel="Chapter" href="Q.html"> <link title="Big_int_Z" rel="Chapter" href="Big_int_Z.html"><title>Big_int_Z</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> big_int = <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> zero_big_int : <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> unit_big_int : <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> minus_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> abs_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> add_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> succ_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> add_int_big_int : int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> sub_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> pred_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> mult_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> mult_int_big_int : int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> square_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> sqrt_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> quomod_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t * <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> div_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> mod_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> gcd_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> power : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> power_big : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> power_int_positive_int : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> power_big_int_positive_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> power_int_positive_big_int : int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> power_big_int_positive_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> sign_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> compare_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> eq_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> le_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> ge_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> lt_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> gt_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> max_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> min_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> num_digits_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> string_of_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> big_int_of_string : string <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> big_int_of_int : int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> is_int_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> int_of_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> big_int_of_int32 : int32 <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> big_int_of_nativeint : nativeint <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> big_int_of_int64 : int64 <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> int32_of_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> nativeint_of_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> nativeint<br> <span class="keyword">val</span> int64_of_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> float_of_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> and_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> or_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> xor_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> shift_left_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> shift_right_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> shift_right_towards_zero_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">val</span> extract_big_int : <span class="constructor">Z</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Z</span>.t<br> <span class="keyword">end</span></code></body></html>