ule-A">A</a>.t</span></code></dt><dt class="spec type" id="type-internal_constr"><a href="#type-internal_constr" class="anchor"></a><code><span class="keyword">type</span> internal_constr</code><code> = Apron.Tcons1.t</code></dt></dl><dl><dt class="spec value" id="val-man"><a href="#val-man" class="anchor"></a><code><span class="keyword">val</span> man : <span><span>Polka.strict Polka.t</span> Apron.Manager.t</span></code></dt><dt class="spec value" id="val-of_expr"><a href="#val-of_expr" class="anchor"></a