e-t">t</a></code></dt><dd><p>semi-open interval : ]-oo;x]</p></dd></dl><dl><dt class="spec value" id="val-top"><a href="#val-top" class="anchor"></a><code><span class="keyword">val</span> top : <a href="index.html#type-t">t</a></code></dt><dd><p>]-oo;+oo[</p></dd></dl></section><section><header><h2 id="predicates"><a href="#predicates" class="anchor"></a>Predicates</h2></header><dl><dt class="spec value" id="val-belong"><a href="#val-belong" class="anchor"></a><code><span class="keyword">val</span> belong :