<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Apron_domain (libabsolute.Apron_domain)</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; Apron_domain</nav><h1>Module <code>Apron_domain</code></h1></header><dl><dt class="spec value" id="val-itv_to_mpqf"><a href="#val-itv_to_mpqf" class="anchor"></a><code><span class="keyword">val</span> itv_to_mpqf : Apron.Interval.t <span>&#45;&gt;</span> Mpqf.t * Mpqf.t</code></dt><dt class="spec value" id="val-scalar_mul_sqrt2"><a href="#val-scalar_mul_sqrt2" class="anchor"></a><code><span class="keyword">val</span> scalar_mul_sqrt2 : Apronext.Scalarext.t <span>&#45;&gt;</span> Apron.Scalar.t</code></dt></dl><dl><dt class="spec type" id="type-point"><a href="#type-point" class="anchor"></a><code><span class="keyword">type</span> point</code><code> = <span>float array</span></code></dt></dl><dl><dt class="spec value" id="val-sq_dist"><a href="#val-sq_dist" class="anchor"></a><code><span class="keyword">val</span> sq_dist : <span>float array</span> <span>&#45;&gt;</span> <span>float array</span> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-most_distant_pair"><a href="#val-most_distant_pair" class="anchor"></a><code><span class="keyword">val</span> most_distant_pair : <span><a href="index.html#type-point">point</a> array</span> <span>&#45;&gt;</span> <a href="index.html#type-point">point</a> * <a href="index.html#type-point">point</a> * float</code></dt></dl><div class="spec module-type" id="module-type-ADomain"><a href="#module-type-ADomain" class="anchor"></a><code><span class="keyword">module</span> <span class="keyword">type</span> <a href="module-type-ADomain/index.html">ADomain</a> = <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-SyntaxTranslator"><a href="#module-SyntaxTranslator" class="anchor"></a><code><span class="keyword">module</span> <a href="SyntaxTranslator/index.html">SyntaxTranslator</a> : <span class="keyword">functor</span> (<a href="SyntaxTranslator/argument-1-D/index.html">D</a> : <a href="index.html#module-type-ADomain">ADomain</a>) <span>&#45;&gt;</span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><div class="spec module" id="module-MAKE"><a href="#module-MAKE" class="anchor"></a><code><span class="keyword">module</span> <a href="MAKE/index.html">MAKE</a> : <span class="keyword">functor</span> (<a href="MAKE/argument-1-AP/index.html">AP</a> : <a href="index.html#module-type-ADomain">ADomain</a>) <span>&#45;&gt;</span> <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div></div></body></html>