<div class="spec module" id="module-A"><a href="#module-A" class="anchor"></a><code><span class="keyword">module</span> A = Apronext.Abstractext</code></div><div class="spec module" id="module-E"><a href="#module-E" class="anchor"></a><code><span class="keyword">module</span> E = Apronext.Environmentext</code></div><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span><span>Polka.strict Polka.t</span> <a href="index.html#mod