<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>SyntaxTranslator (libabsolute.Apron_domain.SyntaxTranslator)</title><link rel="stylesheet" href="../../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> â€“ <a href="../../index.html">libabsolute</a> &#x00BB; <a href="../index.html">Apron_domain</a> &#x00BB; SyntaxTranslator</nav><h1>Module <code>Apron_domain.SyntaxTranslator</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-D/index.html">D</a> : <a href="../index.html#module-type-ADomain">ADomain</a></code></li></ul><h3 class="heading">Signature</h3><dl><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><a href="argument-1-D/index.html#type-t">D.t</a> Apron.Manager.t</span></code></dt><dt class="spec value" id="val-of_expr"><a href="#val-of_expr" class="anchor"></a><code><span class="keyword">val</span> of_expr : Apron.Environment.t <span>&#45;&gt;</span> <a href="../../Csp/index.html#type-expr">Csp.expr</a> <span>&#45;&gt;</span> Apron.Texpr1.t</code></dt><dt class="spec value" id="val-of_cmp_expr"><a href="#val-of_cmp_expr" class="anchor"></a><code><span class="keyword">val</span> of_cmp_expr : <span><span class="type-var">'a</span> Apron.Abstract1.t</span> <span>&#45;&gt;</span> <span>(<a href="../../Csp/index.html#type-expr">Csp.expr</a> * <a href="../../Csp/index.html#type-cmpop">Csp.cmpop</a> * <a href="../../Csp/index.html#type-expr">Csp.expr</a>)</span> <span>&#45;&gt;</span> Apronext.Tconsext.t</code></dt><dt class="spec value" id="val-apron_to_var"><a href="#val-apron_to_var" class="anchor"></a><code><span class="keyword">val</span> apron_to_var : <span><span class="type-var">'a</span> Apron.Abstract1.t</span> <span>&#45;&gt;</span> <span>string list</span> * <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="../../Csp/index.html#type-expr">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="../../Csp/index.html#type-expr">Csp.expr</a> * <a href="../../Csp/index.html#type-cmpop">Csp.cmpop</a> * <a href="../../Csp/index.html#type-expr">Csp.expr</a></code></dt><dt class="spec value" id="val-to_bexpr"><a href="#val-to_bexpr" class="anchor"></a><code><span class="keyword">val</span> to_bexpr : <span><a href="argument-1-D/index.html#type-t">D.t</a> Apronext.Abstractext.t</span> <span>&#45;&gt;</span> <a href="../../Csp/index.html#type-bexpr">Csp.bexpr</a></code></dt></dl></div></body></html>