 id="type-valclass.ValTop" class="anchored"><td class="def constructor"><a href="#type-valclass.ValTop" class="anchor"></a><code>| </code><code><span class="constructor">ValTop</span> <span class="keyword">of</span> <span class="type-var">'t</span></code></td></tr></table></dt></dl><div class="spec module" id="module-NonNegativeBound"><a href="#module-NonNegativeBound" class="anchor"></a><code><span class="keyword">module</span> <a href="NonNegativeBound/index.html">NonNegativeBound</a> : <span class="keywo