ns.
</div>
</td></tr>
<tr><td><a href="StdLabels.String.html">String</a> [<a href="StdLabels.html">StdLabels</a>]</td>
<td></td></tr>
<tr><td><a href="Misc.Stdlib.String.html">String</a> [<a href="Misc.Stdlib.html">Misc.Stdlib</a>]</td>
<td></td></tr>
<tr><td><a href="StringLabels.html">StringLabels</a> </td>
<td><div class="info">
String operations.
</div>
</td></tr>
<tr><td><a href="Misc.StringMap.html">StringMap</a> [<a href="Misc.html">Misc</a>]</td>
<td></td></tr>
<tr><td><a href="Misc.StringSet.html">