class="spec module" id="module-BoundTrace"><a href="#module-BoundTrace" class="anchor"></a><code><span class="keyword">module</span> <a href="BoundTrace/index.html">BoundTrace</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec type" id="type-valclass"><a href="#type-valclass" class="anchor"></a><code><span class="keyword">type</span> <span>('c, 's, 't) valclass</span></code><code> = </code><table class="variant"><tr id="type-valclass.Constant" class="