s="anchor"></a><code><span class="keyword">module</span> FiniteSet : <a href="../index.html#module-type-FiniteSet">FiniteSet</a> <span class="keyword">with</span> <span class="keyword">type</span> <a href="../index.html#module-type-FiniteSet">FiniteSet</a>.elt = <a href="index.html#type-t">t</a></code></dt><dd><p>A powerset of traces.</p></dd></dl></div></body></html>