<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="next" href="Reins.Maps.PolyMapSig.html">
<link rel="Up" href="Reins.Maps.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.Maps.Map_</title>
</head>
<body>
<div class="navbar"> <a href="Reins.Maps.html">Up</a>
<a href="Reins.Maps.PolyMapSig.html">Next</a>
</div>
<center><h1>Module type <a href="type_Reins.Maps.Map_.html">Reins.Maps.Map_</a></h1></center>
<br>
<pre><span class="keyword">module type</span> Map_ = <code class="code">sig</code> <a href="Reins.Maps.Map_.html">..</a> <code class="code">end</code></pre><hr width="100%">
<pre><span class="keyword">type</span> <a name="TYPEkey_"></a><code class="type">'a</code> key_ </pre>
<pre><span class="keyword">type</span> <a name="TYPEelt_"></a><code class="type">'a</code> elt_ </pre>
<pre><span class="keyword">type</span> <a name="TYPEmap"></a><code class="type">('a, 'b)</code> map </pre>
<pre><span class="keyword">type</span> <a name="TYPEresult_"></a><code class="type">('a, 'b, 'c)</code> result_ </pre>
<pre><span class="keyword">val</span> <a name="VALempty"></a>empty : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALis_empty"></a>is_empty : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALmem"></a>mem : <code class="type">'a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> (bool, 'a, 'b) <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a></code></pre><pre><span class="keyword">val</span> <a name="VALadd"></a>add : <code class="type">'a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALsingleton"></a>singleton : <code class="type">'a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALremove"></a>remove : <code class="type">'a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALfind"></a>find : <code class="type">'a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>, 'a, 'b) <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a></code></pre><pre><span class="keyword">val</span> <a name="VALmin_key"></a>min_key : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a>, 'a, 'b) <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a></code></pre><pre><span class="keyword">val</span> <a name="VALmax_key"></a>max_key : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a>, 'a, 'b) <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a></code></pre><pre><span class="keyword">val</span> <a name="VALmin_keyval"></a>min_keyval : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> * 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>, 'a, 'b)<br> <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a></code></pre><pre><span class="keyword">val</span> <a name="VALmax_keyval"></a>max_keyval : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> * 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>, 'a, 'b)<br> <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a></code></pre><pre><span class="keyword">val</span> <a name="VALcardinal"></a>cardinal : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> int</code></pre><pre><span class="keyword">val</span> <a name="VALiter"></a>iter : <code class="type">('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> unit) -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> unit</code></pre><pre><span class="keyword">val</span> <a name="VALfold"></a>fold : <code class="type">('a -> 'b <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -> 'c <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> 'a) -><br> 'a -> ('b, 'c) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> 'a</code></pre><pre><span class="keyword">val</span> <a name="VALmap"></a>map : <code class="type">('a <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>) -><br> ('c, 'a) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('c, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALmapi"></a>mapi : <code class="type">('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> 'c <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>) -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'c) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALunion"></a>union : <code class="type">('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>) -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALinter"></a>inter : <code class="type">('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a>) -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALdiff"></a>diff : <code class="type">('a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> -><br> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a> -> bool) -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -><br> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALwell_formed"></a>well_formed : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALof_result"></a>of_result : <code class="type">('a, 'b, 'c) <a href="Reins.Maps.Map_.html#TYPEresult_">result_</a> -> 'a</code></pre><pre><span class="keyword">type</span> <a name="TYPEcursor_"></a><code class="type">('a, 'b)</code> cursor_ </pre>
<pre><span class="keyword">val</span> <a name="VALto_cursor"></a>to_cursor : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a></code></pre><pre><span class="keyword">val</span> <a name="VALfrom_cursor"></a>from_cursor : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEmap">map</a></code></pre><pre><span class="keyword">val</span> <a name="VALat_top"></a>at_top : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALat_left"></a>at_left : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALat_right"></a>at_right : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALmove_up"></a>move_up : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a></code></pre><pre><span class="keyword">val</span> <a name="VALmove_down_left"></a>move_down_left : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a></code></pre><pre><span class="keyword">val</span> <a name="VALmove_down_right"></a>move_down_right : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> ('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a></code></pre><pre><span class="keyword">val</span> <a name="VALwent_left"></a>went_left : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALwent_right"></a>went_right : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALhas_value"></a>has_value : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -> bool</code></pre><pre><span class="keyword">val</span> <a name="VALget_value"></a>get_value : <code class="type">('a, 'b) <a href="Reins.Maps.Map_.html#TYPEcursor_">cursor_</a> -><br> 'a <a href="Reins.Maps.Map_.html#TYPEkey_">key_</a> * 'b <a href="Reins.Maps.Map_.html#TYPEelt_">elt_</a></code></pre></body></html>
