<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.Int64</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">val</span> zero : int64<br> <span class="keyword">val</span> one : int64<br> <span class="keyword">val</span> minus_one : int64<br> <span class="keyword">external</span> neg : int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_neg"</span><br> <span class="keyword">external</span> add : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_add"</span><br> <span class="keyword">external</span> sub : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_sub"</span><br> <span class="keyword">external</span> mul : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_mul"</span><br> <span class="keyword">external</span> div : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_div"</span><br> <span class="keyword">external</span> rem : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_mod"</span><br> <span class="keyword">val</span> succ : int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> pred : int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> abs : int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">val</span> max_int : int64<br> <span class="keyword">val</span> min_int : int64<br> <span class="keyword">external</span> logand : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_and"</span><br> <span class="keyword">external</span> logor : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_or"</span><br> <span class="keyword">external</span> logxor : int64 <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_xor"</span><br> <span class="keyword">val</span> lognot : int64 <span class="keywordsign">-></span> int64<br> <span class="keyword">external</span> shift_left : int64 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int64 = <span class="string">"%int64_lsl"</span><br> <span class="keyword">external</span> shift_right : int64 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int64 = <span class="string">"%int64_asr"</span><br> <span class="keyword">external</span> shift_right_logical : int64 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int64 = <span class="string">"%int64_lsr"</span><br> <span class="keyword">external</span> of_int : int <span class="keywordsign">-></span> int64 = <span class="string">"%int64_of_int"</span><br> <span class="keyword">external</span> to_int : int64 <span class="keywordsign">-></span> int = <span class="string">"%int64_to_int"</span><br> <span class="keyword">external</span> of_float : float <span class="keywordsign">-></span> int64 = <span class="string">"caml_int64_of_float"</span><br> <span class="keyword">external</span> to_float : int64 <span class="keywordsign">-></span> float = <span class="string">"caml_int64_to_float"</span><br> <span class="keyword">external</span> of_int32 : int32 <span class="keywordsign">-></span> int64 = <span class="string">"%int64_of_int32"</span><br> <span class="keyword">external</span> to_int32 : int64 <span class="keywordsign">-></span> int32 = <span class="string">"%int64_to_int32"</span><br> <span class="keyword">external</span> of_nativeint : nativeint <span class="keywordsign">-></span> int64 = <span class="string">"%int64_of_nativeint"</span><br> <span class="keyword">external</span> to_nativeint : int64 <span class="keywordsign">-></span> nativeint = <span class="string">"%int64_to_nativeint"</span><br> <span class="keyword">external</span> of_string : string <span class="keywordsign">-></span> int64 = <span class="string">"caml_int64_of_string"</span><br> <span class="keyword">val</span> to_string : int64 <span class="keywordsign">-></span> string<br> <span class="keyword">external</span> bits_of_float : float <span class="keywordsign">-></span> int64 = <span class="string">"caml_int64_bits_of_float"</span><br> <span class="keyword">external</span> float_of_bits : int64 <span class="keywordsign">-></span> float = <span class="string">"caml_int64_float_of_bits"</span><br> <span class="keyword">type</span> t = int64<br> <span class="keyword">val</span> compare : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int64</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int64</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">external</span> format : string <span class="keywordsign">-></span> int64 <span class="keywordsign">-></span> string = <span class="string">"caml_int64_format"</span><br> <span class="keyword">val</span> equal : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int64</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int64</span>.t <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">Int64</span>.t<br> <span class="keyword">end</span></code></body></html>