pan> * <span>string list</span></code></dt><dt class="spec value" id="val-to_expr"><a href="#val-to_expr" class="anchor"></a><code><span class="keyword">val</span> to_expr : Apron.Texpr1.expr <span>&#45;&gt;</span> <a href="../../../Libabsolute/Csp/index.html#type-expr">Libabsolute.Csp.expr</a></code></dt><dt class="spec value" id="val-apron_to_bexpr"><a href="#val-apron_to_bexpr" class="anchor"></a><code><span class="keyword">val</span> apron_to_bexpr : Apron.Tcons1.t <span>&#45;&gt;</span> <a href="../../