nning">List scanning</a></li><li><a href="#1_Listsearching">List searching</a></li><li><a href="#1_Associationlists">Association lists</a></li><li><a href="#1_Listsofpairs">Lists of pairs</a></li><li><a href="#1_Sorting">Sorting</a></li></ul></nav></header>

<h1>Module <a href="type_ListLabels.html">ListLabels</a></h1>

<pre><span id="MODULEListLabels"><span class="keyword">module</span> ListLabels</span>: <code class="code"><span class="keyword">sig</span></code> <a href="ListLabels.html">..</a> <code clas