</code></pre>
<pre><span id="MODULEList"><span class="keyword">module</span> <a href="StdLabels.List.html">List</a></span>: <code class="type"><a href="Stdlib.ListLabels.html">ListLabels</a></code></pre>
<pre><span id="MODULEString"><span class="keyword">module</span> <a href="StdLabels.String.html">String</a></span>: <code class="type"><a href="Stdlib.StringLabels.html">StringLabels</a></code></pre>
<div class="copyright">The present documentation is copyright Institut National de Recherche en Informatique