<ocamldoc with-contents="true"><title>Stog library reference documentation : Stog_tmap</title><contents><div class="ocamldoc-page">
<code class="code"><span class="keyword">sig</span><br/>
&#160;&#160;<span class="keyword">module</span>&#160;<span class="keyword">type</span>&#160;<span class="constructor">S</span>&#160;=<br/>
&#160;&#160;&#160;&#160;<span class="keyword">sig</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;<span class="keywordsign">'</span>a&#160;key<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;create&#160;:&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;compare_key&#160;:&#160;<span class="keywordsign">'</span>a&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;int<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;get&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;add&#160;:<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;*&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;fold&#160;:<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b)&#160;<span class="keywordsign">-&gt;</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;find&#160;:<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;bool)&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;int&#160;:&#160;<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;int<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;iter&#160;:<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;unit)&#160;<span class="keywordsign">-&gt;</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;unit<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;remove&#160;:<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;modify&#160;:<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keywordsign">'</span>key&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;card&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;<span class="constructor">Stog_tmap</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;int<br/>
&#160;&#160;&#160;&#160;<span class="keyword">end</span><br/>
&#160;&#160;<span class="keyword">type</span>&#160;<span class="keywordsign">'</span>a&#160;key<br/>
&#160;&#160;<span class="keyword">type</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t<br/>
&#160;&#160;<span class="keyword">val</span>&#160;create&#160;:&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t<br/>
&#160;&#160;<span class="keyword">val</span>&#160;compare_key&#160;:&#160;<span class="keywordsign">'</span>a&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;int<br/>
&#160;&#160;<span class="keyword">val</span>&#160;get&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a<br/>
&#160;&#160;<span class="keyword">val</span>&#160;add&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;key&#160;*&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t<br/>
&#160;&#160;<span class="keyword">val</span>&#160;fold&#160;:&#160;(<span class="keywordsign">'</span>key&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b)&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>b<br/>
&#160;&#160;<span class="keyword">val</span>&#160;find&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;bool)&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;key<br/>
&#160;&#160;<span class="keyword">val</span>&#160;int&#160;:&#160;<span class="keywordsign">'</span>key&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;int<br/>
&#160;&#160;<span class="keyword">val</span>&#160;iter&#160;:&#160;(<span class="keywordsign">'</span>key&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;unit)&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;unit<br/>
&#160;&#160;<span class="keyword">val</span>&#160;remove&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t<br/>
&#160;&#160;<span class="keyword">val</span>&#160;modify&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>key&#160;key&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t<br/>
&#160;&#160;<span class="keyword">val</span>&#160;card&#160;:&#160;(<span class="keywordsign">'</span>key,&#160;<span class="keywordsign">'</span>a)&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;int<br/>
<span class="keyword">end</span></code></div></contents></ocamldoc>