<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</title> </head> <body> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="constructor">Poly</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Equatable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> equal :<br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Equatable</span>.t <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Equatable</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Comparable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> compare :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Comparable</span>.t <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Comparable</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_string :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Comparable</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Hashable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> equal : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> hash : <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Arbitrary</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> gen :<br> (?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span><br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Arbitrary</span>.t<br> <span class="keyword">val</span> to_string :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">Arbitrary</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">ArbitraryComparable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> gen :<br> (?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span><br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t<br> <span class="keyword">val</span> to_string : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> compare : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a t <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComposeComparable</span> :<br> <span class="keyword">functor</span> (<span class="constructor">A</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">B</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a <span class="constructor">B</span>.t <span class="constructor">A</span>.t<br> <span class="keyword">val</span> compare :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeComparable</span>.t <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeComparable</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_string :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeComparable</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComposeGen</span> :<br> <span class="keyword">functor</span> (<span class="constructor">A</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">B</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a <span class="constructor">B</span>.t <span class="constructor">A</span>.t<br> <span class="keyword">val</span> gen :<br> (?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span><br> ?size:int <span class="keywordsign">-></span><br> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeGen</span>.t<br> <span class="keyword">val</span> to_string :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeGen</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComposeGenComparable</span> :<br> <span class="keyword">functor</span> (<span class="constructor">A</span> : <span class="constructor">ArbitraryComparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">B</span> : <span class="constructor">ArbitraryComparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a <span class="constructor">B</span>.t <span class="constructor">A</span>.t<br> <span class="keyword">val</span> gen :<br> (?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span><br> ?size:int <span class="keywordsign">-></span><br> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeGenComparable</span>.t<br> <span class="keyword">val</span> to_string :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeGenComparable</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> compare :<br> (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> int) <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeGenComparable</span>.t <span class="keywordsign">-></span><br> <span class="keywordsign">'</span>a <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Poly</span>.<span class="constructor">ComposeGenComparable</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Close</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> to_string : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b<br> <span class="keyword">val</span> compare : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> <span class="keywordsign">'</span>c<br> <span class="keyword">end</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Mono</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Equatable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> equal :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Equatable</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Equatable</span>.t <span class="keywordsign">-></span> bool<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Comparable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> compare :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Comparable</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Comparable</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Comparable</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Hashable</span> =<br> <span class="keyword">sig</span> <span class="keyword">type</span> t <span class="keyword">val</span> equal : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> bool <span class="keyword">val</span> hash : t <span class="keywordsign">-></span> int <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Arbitrary</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> gen :<br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Arbitrary</span>.t<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Arbitrary</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">ArbitraryComparable</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> gen : ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> t<br> <span class="keyword">val</span> to_string : t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> compare : t <span class="keywordsign">-></span> t <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComposeComparable</span> :<br> <span class="keyword">functor</span> (<span class="constructor">P</span> : <span class="constructor">Poly</span>.<span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">M</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">M</span>.t <span class="constructor">P</span>.t<br> <span class="keyword">val</span> compare :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeComparable</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeComparable</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeComparable</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComposeGen</span> :<br> <span class="keyword">functor</span> (<span class="constructor">P</span> : <span class="constructor">Poly</span>.<span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">M</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">M</span>.t <span class="constructor">P</span>.t<br> <span class="keyword">val</span> gen :<br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeGen</span>.t<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeGen</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComposeGenComparable</span> :<br> <span class="keyword">functor</span> (<span class="constructor">P</span> : <span class="constructor">Poly</span>.<span class="constructor">ArbitraryComparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">M</span> : <span class="constructor">ArbitraryComparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">M</span>.t <span class="constructor">P</span>.t<br> <span class="keyword">val</span> gen :<br> ?size:int <span class="keywordsign">-></span><br> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeGenComparable</span>.t<br> <span class="keyword">val</span> to_string :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeGenComparable</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> compare :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeGenComparable</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComposeGenComparable</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">ComparablePair</span> :<br> <span class="keyword">functor</span> (<span class="constructor">M1</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">M2</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">M1</span>.t * <span class="constructor">M2</span>.t<br> <span class="keyword">val</span> compare :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComparablePair</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComparablePair</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">ComparablePair</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Comparable3Tuple</span> :<br> <span class="keyword">functor</span> (<span class="constructor">M1</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">M2</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">M3</span> : <span class="constructor">Comparable</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">M1</span>.t * <span class="constructor">M2</span>.t * <span class="constructor">M3</span>.t<br> <span class="keyword">val</span> compare :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Comparable3Tuple</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Comparable3Tuple</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Comparable3Tuple</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">GenPair</span> :<br> <span class="keyword">functor</span> (<span class="constructor">A</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">B</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">A</span>.t * <span class="constructor">B</span>.t<br> <span class="keyword">val</span> gen :<br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">GenPair</span>.t<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">GenPair</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Gen3Tuple</span> :<br> <span class="keyword">functor</span> (<span class="constructor">A</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">B</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">functor</span> (<span class="constructor">C</span> : <span class="constructor">Arbitrary</span>) <span class="keywordsign">-></span><br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">A</span>.t * <span class="constructor">B</span>.t * <span class="constructor">C</span>.t<br> <span class="keyword">val</span> gen :<br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Gen3Tuple</span>.t<br> <span class="keyword">val</span> to_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Mono</span>.<span class="constructor">Gen3Tuple</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="keyword">type</span> <span class="constructor">Integral</span> =<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t<br> <span class="keyword">val</span> zero : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> one : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> minus_one : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> abs : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> neg : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> succ : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> pred : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> add :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> sub :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> mul :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> div :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> rem :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> logand :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> lognot : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> logor :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> logxor :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> shift_left :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> shift_right :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> shift_right_logical :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> compare : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> of_int : int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t<br> <span class="keyword">val</span> to_int : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <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">Integral</span>.t<br> <span class="keyword">val</span> to_float : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Integral</span>.t <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">Integral</span>.t <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">Integral</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Int</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = int<br> <span class="keyword">val</span> zero : int<br> <span class="keyword">val</span> one : int<br> <span class="keyword">val</span> minus_one : int<br> <span class="keyword">val</span> abs : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> neg : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> succ : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> pred : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> add : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> sub : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> mul : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> div : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> rem : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> logxor : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> logand : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> lognot : int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> logor : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> shift_left : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> shift_right : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> shift_right_logical : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> of_int : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> to_int : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> of_float : float <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> to_float : int <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> of_string : string <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> compare : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> hash : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">val</span> to_string : int <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> gen : ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Float</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = float<br> <span class="keyword">val</span> compare : float <span class="keywordsign">-></span> float <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : float <span class="keywordsign">-></span> float <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:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> to_string : float <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Bool</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = bool<br> <span class="keyword">val</span> compare : bool <span class="keywordsign">-></span> bool <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : bool <span class="keywordsign">-></span> bool <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> bool<br> <span class="keyword">val</span> to_string : bool <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Char</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = char<br> <span class="keyword">val</span> compare : char <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : char <span class="keywordsign">-></span> char <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:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> char<br> <span class="keyword">val</span> to_string : char <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Int32</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">val</span> zero : int32<br> <span class="keyword">val</span> one : int32<br> <span class="keyword">val</span> minus_one : int32<br> <span class="keyword">external</span> neg : int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_neg"</span><br> <span class="keyword">external</span> add : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_add"</span><br> <span class="keyword">external</span> sub : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_sub"</span><br> <span class="keyword">external</span> mul : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_mul"</span><br> <span class="keyword">external</span> div : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_div"</span><br> <span class="keyword">external</span> rem : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_mod"</span><br> <span class="keyword">val</span> succ : int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> pred : int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> abs : int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">val</span> max_int : int32<br> <span class="keyword">val</span> min_int : int32<br> <span class="keyword">external</span> logand : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_and"</span><br> <span class="keyword">external</span> logor : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_or"</span><br> <span class="keyword">external</span> logxor : int32 <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> int32 = <span class="string">"%int32_xor"</span><br> <span class="keyword">val</span> lognot : int32 <span class="keywordsign">-></span> int32<br> <span class="keyword">external</span> shift_left : int32 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int32 = <span class="string">"%int32_lsl"</span><br> <span class="keyword">external</span> shift_right : int32 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int32 = <span class="string">"%int32_asr"</span><br> <span class="keyword">external</span> shift_right_logical : int32 <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int32 = <span class="string">"%int32_lsr"</span><br> <span class="keyword">external</span> of_int : int <span class="keywordsign">-></span> int32 = <span class="string">"%int32_of_int"</span><br> <span class="keyword">external</span> to_int : int32 <span class="keywordsign">-></span> int = <span class="string">"%int32_to_int"</span><br> <span class="keyword">external</span> of_float : float <span class="keywordsign">-></span> int32 = <span class="string">"caml_int32_of_float"</span><br> <span class="keyword">external</span> to_float : int32 <span class="keywordsign">-></span> float = <span class="string">"caml_int32_to_float"</span><br> <span class="keyword">external</span> of_string : string <span class="keywordsign">-></span> int32 = <span class="string">"caml_int32_of_string"</span><br> <span class="keyword">val</span> to_string : int32 <span class="keywordsign">-></span> string<br> <span class="keyword">external</span> bits_of_float : float <span class="keywordsign">-></span> int32 = <span class="string">"caml_int32_bits_of_float"</span><br> <span class="keyword">external</span> float_of_bits : int32 <span class="keywordsign">-></span> float = <span class="string">"caml_int32_float_of_bits"</span><br> <span class="keyword">type</span> t = int32<br> <span class="keyword">val</span> compare : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int32</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int32</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">external</span> format : string <span class="keywordsign">-></span> int32 <span class="keywordsign">-></span> string = <span class="string">"caml_int32_format"</span><br> <span class="keyword">val</span> equal : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int32</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Int32</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">Int32</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Int64</span> :<br> <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><br> <span class="keyword">module</span> <span class="constructor">Nativeint</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">val</span> zero : nativeint<br> <span class="keyword">val</span> one : nativeint<br> <span class="keyword">val</span> minus_one : nativeint<br> <span class="keyword">external</span> neg : nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_neg"</span><br> <span class="keyword">external</span> add : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_add"</span><br> <span class="keyword">external</span> sub : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_sub"</span><br> <span class="keyword">external</span> mul : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_mul"</span><br> <span class="keyword">external</span> div : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_div"</span><br> <span class="keyword">external</span> rem : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_mod"</span><br> <span class="keyword">val</span> succ : nativeint <span class="keywordsign">-></span> nativeint<br> <span class="keyword">val</span> pred : nativeint <span class="keywordsign">-></span> nativeint<br> <span class="keyword">val</span> abs : nativeint <span class="keywordsign">-></span> nativeint<br> <span class="keyword">val</span> size : int<br> <span class="keyword">val</span> max_int : nativeint<br> <span class="keyword">val</span> min_int : nativeint<br> <span class="keyword">external</span> logand : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint<br> = <span class="string">"%nativeint_and"</span><br> <span class="keyword">external</span> logor : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_or"</span><br> <span class="keyword">external</span> logxor : nativeint <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> nativeint<br> = <span class="string">"%nativeint_xor"</span><br> <span class="keyword">val</span> lognot : nativeint <span class="keywordsign">-></span> nativeint<br> <span class="keyword">external</span> shift_left : nativeint <span class="keywordsign">-></span> int <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_lsl"</span><br> <span class="keyword">external</span> shift_right : nativeint <span class="keywordsign">-></span> int <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_asr"</span><br> <span class="keyword">external</span> shift_right_logical : nativeint <span class="keywordsign">-></span> int <span class="keywordsign">-></span> nativeint<br> = <span class="string">"%nativeint_lsr"</span><br> <span class="keyword">external</span> of_int : int <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_of_int"</span><br> <span class="keyword">external</span> to_int : nativeint <span class="keywordsign">-></span> int = <span class="string">"%nativeint_to_int"</span><br> <span class="keyword">external</span> of_float : float <span class="keywordsign">-></span> nativeint = <span class="string">"caml_nativeint_of_float"</span><br> <span class="keyword">external</span> to_float : nativeint <span class="keywordsign">-></span> float = <span class="string">"caml_nativeint_to_float"</span><br> <span class="keyword">external</span> of_int32 : int32 <span class="keywordsign">-></span> nativeint = <span class="string">"%nativeint_of_int32"</span><br> <span class="keyword">external</span> to_int32 : nativeint <span class="keywordsign">-></span> int32 = <span class="string">"%nativeint_to_int32"</span><br> <span class="keyword">external</span> of_string : string <span class="keywordsign">-></span> nativeint = <span class="string">"caml_nativeint_of_string"</span><br> <span class="keyword">val</span> to_string : nativeint <span class="keywordsign">-></span> string<br> <span class="keyword">type</span> t = nativeint<br> <span class="keyword">val</span> compare : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Nativeint</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Nativeint</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">external</span> format : string <span class="keywordsign">-></span> nativeint <span class="keywordsign">-></span> string<br> = <span class="string">"caml_nativeint_format"</span><br> <span class="keyword">val</span> equal : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Nativeint</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Nativeint</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">Nativeint</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Big_int</span> :<br> <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><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> 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><br> <span class="keyword">module</span> <span class="constructor">Ratio</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> ratio = <span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> null_denominator : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> numerator_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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> denominator_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> normalize_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> cautious_normalize_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> cautious_normalize_ratio_when_printing :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> create_ratio :<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">Ratio</span>.ratio<br> <span class="keyword">val</span> create_normalized_ratio :<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">Ratio</span>.ratio<br> <span class="keyword">val</span> is_normalized_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> report_sign_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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> abs_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> is_integer_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> add_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> minus_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> add_int_ratio :<br> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> add_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> sub_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> mult_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> mult_int_ratio :<br> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> mult_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> square_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> inverse_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> div_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> integer_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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> floor_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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> ceiling_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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> eq_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> compare_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> lt_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> le_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> gt_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> ge_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> max_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> min_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> eq_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> compare_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> lt_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> le_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> gt_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> ge_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> int_of_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> ratio_of_int : int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> ratio_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">Ratio</span>.ratio<br> <span class="keyword">val</span> nat_of_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Nat</span>.nat<br> <span class="keyword">val</span> ratio_of_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">Ratio</span>.ratio<br> <span class="keyword">val</span> big_int_of_ratio :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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_int_ratio :<br> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> div_ratio_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> div_big_int_ratio :<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">Ratio</span>.ratio <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> div_ratio_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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">Ratio</span>.ratio<br> <span class="keyword">val</span> approx_ratio_fix : int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> approx_ratio_exp : int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> float_of_rational_string : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> string_of_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> ratio_of_string : string <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> float_of_ratio : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> power_ratio_positive_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <span class="keywordsign">-></span> int <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio<br> <span class="keyword">val</span> power_ratio_positive_big_int :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Ratio</span>.ratio <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">Ratio</span>.ratio<br> <span class="keyword">val</span> equal : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <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">Ratio</span>.ratio<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Complex</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> t = <span class="constructor">Complex</span>.t = { re : float; im : float; }<br> <span class="keyword">val</span> zero : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> one : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> i : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> neg : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> conj : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> add :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> sub :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> mul :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> inv : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> div :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> sqrt : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> norm2 : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> norm : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> arg : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> float<br> <span class="keyword">val</span> polar : float <span class="keywordsign">-></span> float <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> exp : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> log : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> pow :<br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span><br> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">Complex</span>.t<br> <span class="keyword">val</span> equal : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a <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">Complex</span>.t<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">String</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">external</span> length : string <span class="keywordsign">-></span> int = <span class="string">"%string_length"</span><br> <span class="keyword">external</span> get : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char = <span class="string">"%string_safe_get"</span><br> <span class="keyword">external</span> set : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit = <span class="string">"%string_safe_set"</span><br> <span class="keyword">external</span> create : int <span class="keywordsign">-></span> string = <span class="string">"caml_create_string"</span><br> <span class="keyword">val</span> make : int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> copy : string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> sub : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> fill : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> blit : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> concat : string <span class="keywordsign">-></span> string list <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> iter : (char <span class="keywordsign">-></span> unit) <span class="keywordsign">-></span> string <span class="keywordsign">-></span> unit<br> <span class="keyword">val</span> escaped : string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> index : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> rindex : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> index_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> rindex_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> contains : string <span class="keywordsign">-></span> char <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> contains_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> rcontains_from : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> uppercase : string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> lowercase : string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> capitalize : string <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> uncapitalize : string <span class="keywordsign">-></span> string<br> <span class="keyword">type</span> t = string<br> <span class="keyword">val</span> compare : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">String</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">String</span>.t <span class="keywordsign">-></span> int<br> <span class="keyword">external</span> unsafe_get : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char = <span class="string">"%string_unsafe_get"</span><br> <span class="keyword">external</span> unsafe_set : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br> = <span class="string">"%string_unsafe_set"</span><br> <span class="keyword">external</span> unsafe_blit : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> unit<br> = <span class="string">"caml_blit_string"</span> <span class="string">"noalloc"</span><br> <span class="keyword">external</span> unsafe_fill : string <span class="keywordsign">-></span> int <span class="keywordsign">-></span> int <span class="keywordsign">-></span> char <span class="keywordsign">-></span> unit<br> = <span class="string">"caml_fill_string"</span> <span class="string">"noalloc"</span><br> <span class="keyword">val</span> equal : <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">String</span>.t <span class="keywordsign">-></span> <span class="constructor">Reins</span>.<span class="constructor">Types</span>.<span class="constructor">String</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:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> string<br> <span class="keyword">val</span> to_string : <span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>a<br> <span class="keyword">end</span><br> <span class="keyword">module</span> <span class="constructor">Option</span> :<br> <span class="keyword">sig</span><br> <span class="keyword">type</span> <span class="keywordsign">'</span>a t = <span class="keywordsign">'</span>a option<br> <span class="keyword">val</span> compare : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> <span class="keywordsign">'</span>b <span class="keywordsign">-></span> int) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>b option <span class="keywordsign">-></span> int<br> <span class="keyword">val</span> equal : <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> bool<br> <span class="keyword">val</span> gen :<br> (?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a) <span class="keywordsign">-></span><br> ?size:int <span class="keywordsign">-></span> <span class="constructor">Random</span>.<span class="constructor">State</span>.t <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option<br> <span class="keyword">val</span> to_string : (<span class="keywordsign">'</span>a <span class="keywordsign">-></span> string) <span class="keywordsign">-></span> <span class="keywordsign">'</span>a option <span class="keywordsign">-></span> string<br> <span class="keyword">end</span><br> <span class="keyword">end</span></code></body></html>