<ocamldoc with-contents="true"><title>Stog library reference documentation : Stog_trie</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;symbol<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;path&#160;=&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.symbol&#160;list<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;<span class="keywordsign">'</span>a&#160;t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">exception</span>&#160;<span class="constructor">Already_present</span>&#160;<span class="keyword">of</span>&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.path<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;empty&#160;:&#160;<span class="keywordsign">'</span>a&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.t<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="constructor">Stog_trie</span>.<span class="constructor">S</span>.path&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;find&#160;:&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.path&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="constructor">Stog_trie</span>.<span class="constructor">S</span>.t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;list<br/>
&#160;&#160;&#160;&#160;<span class="keyword">end</span><br/>
&#160;&#160;<span class="keyword">module</span>&#160;<span class="constructor">Make</span>&#160;:<br/>
&#160;&#160;&#160;&#160;<span class="keyword">functor</span>&#160;(<span class="constructor">P</span>&#160;:&#160;<span class="constructor">Map</span>.<span class="constructor">OrderedType</span>)&#160;<span class="keywordsign">-&gt;</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">sig</span><br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;symbol&#160;=&#160;<span class="constructor">P</span>.t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;path&#160;=&#160;symbol&#160;list<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">type</span>&#160;<span class="keywordsign">'</span>a&#160;t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">exception</span>&#160;<span class="constructor">Already_present</span>&#160;<span class="keyword">of</span>&#160;path<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;empty&#160;:&#160;<span class="keywordsign">'</span>a&#160;t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;add&#160;:&#160;path&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;t<br/>
&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">val</span>&#160;find&#160;:&#160;path&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;t&#160;<span class="keywordsign">-&gt;</span>&#160;<span class="keywordsign">'</span>a&#160;list<br/>
&#160;&#160;&#160;&#160;&#160;&#160;<span class="keyword">end</span><br/>
<span class="keyword">end</span></code></div></contents></ocamldoc>