html#type-bexpr">Libabsolute.Csp.bexpr</a></code></dt><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <span><span>Polka.strict Polka.t</span> <a href="index.html#module-A">A</a>.t</span></code></dt><dt class="spec value" id="val-internalize"><a href="#val-internalize" class="anchor"></a><code><span class="keyword">val</span> internalize : <span>?&#8288;elem:<span><span class="type-var">'a</span> Apron.Abstract1.t</span></span> <spa