<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Libabsolute__ (libabsolute.Libabsolute__)</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; Libabsolute__</nav><h1>Module <code>Libabsolute__</code></h1></header><dl><dt class="spec module" id="module-Apron_domain"><a href="#module-Apron_domain" class="anchor"></a><code><span class="keyword">module</span> <a href="Apron_domain/index.html">Apron_domain</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Boolean"><a href="#module-Boolean" class="anchor"></a><code><span class="keyword">module</span> <a href="Boolean/index.html">Boolean</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Bound_float"><a href="#module-Bound_float" class="anchor"></a><code><span class="keyword">module</span> <a href="Bound_float/index.html">Bound_float</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Bound_mpqf"><a href="#module-Bound_mpqf" class="anchor"></a><code><span class="keyword">module</span> <a href="Bound_mpqf/index.html">Bound_mpqf</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Bound_sig"><a href="#module-Bound_sig" class="anchor"></a><code><span class="keyword">module</span> <a href="Bound_sig/index.html">Bound_sig</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Cartesian"><a href="#module-Cartesian" class="anchor"></a><code><span class="keyword">module</span> <a href="Cartesian/index.html">Cartesian</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Checker"><a href="#module-Checker" class="anchor"></a><code><span class="keyword">module</span> <a href="Checker/index.html">Checker</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Consistency"><a href="#module-Consistency" class="anchor"></a><code><span class="keyword">module</span> <a href="Consistency/index.html">Consistency</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Constant"><a href="#module-Constant" class="anchor"></a><code><span class="keyword">module</span> <a href="Constant/index.html">Constant</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Constraint"><a href="#module-Constraint" class="anchor"></a><code><span class="keyword">module</span> <a href="Constraint/index.html">Constraint</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Csp"><a href="#module-Csp" class="anchor"></a><code><span class="keyword">module</span> <a href="Csp/index.html">Csp</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Csp_helper"><a href="#module-Csp_helper" class="anchor"></a><code><span class="keyword">module</span> <a href="Csp_helper/index.html">Csp_helper</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Dom"><a href="#module-Dom" class="anchor"></a><code><span class="keyword">module</span> <a href="Dom/index.html">Dom</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Domains"><a href="#module-Domains" class="anchor"></a><code><span class="keyword">module</span> <a href="Domains/index.html">Domains</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Expr"><a href="#module-Expr" class="anchor"></a><code><span class="keyword">module</span> <a href="Expr/index.html">Expr</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-F"><a href="#module-F" class="anchor"></a><code><span class="keyword">module</span> <a href="F/index.html">F</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-File_parser"><a href="#module-File_parser" class="anchor"></a><code><span class="keyword">module</span> <a href="File_parser/index.html">File_parser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Filter"><a href="#module-Filter" class="anchor"></a><code><span class="keyword">module</span> <a href="Filter/index.html">Filter</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-I"><a href="#module-I" class="anchor"></a><code><span class="keyword">module</span> <a href="I/index.html">I</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Instance"><a href="#module-Instance" class="anchor"></a><code><span class="keyword">module</span> <a href="Instance/index.html">Instance</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Iterator"><a href="#module-Iterator" class="anchor"></a><code><span class="keyword">module</span> <a href="Iterator/index.html">Iterator</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Itv"><a href="#module-Itv" class="anchor"></a><code><span class="keyword">module</span> <a href="Itv/index.html">Itv</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Itv_int"><a href="#module-Itv_int" class="anchor"></a><code><span class="keyword">module</span> <a href="Itv_int/index.html">Itv_int</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Itv_mix"><a href="#module-Itv_mix" class="anchor"></a><code><span class="keyword">module</span> <a href="Itv_mix/index.html">Itv_mix</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Itv_sig"><a href="#module-Itv_sig" class="anchor"></a><code><span class="keyword">module</span> <a href="Itv_sig/index.html">Itv_sig</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Kleene"><a href="#module-Kleene" class="anchor"></a><code><span class="keyword">module</span> <a href="Kleene/index.html">Kleene</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Lexer"><a href="#module-Lexer" class="anchor"></a><code><span class="keyword">module</span> <a href="Lexer/index.html">Lexer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Minimizer"><a href="#module-Minimizer" class="anchor"></a><code><span class="keyword">module</span> <a href="Minimizer/index.html">Minimizer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ModCsp"><a href="#module-ModCsp" class="anchor"></a><code><span class="keyword">module</span> <a href="ModCsp/index.html">ModCsp</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ModLexer"><a href="#module-ModLexer" class="anchor"></a><code><span class="keyword">module</span> <a href="ModLexer/index.html">ModLexer</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-ModParser"><a href="#module-ModParser" class="anchor"></a><code><span class="keyword">module</span> <a href="ModParser/index.html">ModParser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Newitv"><a href="#module-Newitv" class="anchor"></a><code><span class="keyword">module</span> <a href="Newitv/index.html">Newitv</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Parser"><a href="#module-Parser" class="anchor"></a><code><span class="keyword">module</span> <a href="Parser/index.html">Parser</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Polynom"><a href="#module-Polynom" class="anchor"></a><code><span class="keyword">module</span> <a href="Polynom/index.html">Polynom</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Product"><a href="#module-Product" class="anchor"></a><code><span class="keyword">module</span> <a href="Product/index.html">Product</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Q"><a href="#module-Q" class="anchor"></a><code><span class="keyword">module</span> <a href="Q/index.html">Q</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Relational"><a href="#module-Relational" class="anchor"></a><code><span class="keyword">module</span> <a href="Relational/index.html">Relational</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Result"><a href="#module-Result" class="anchor"></a><code><span class="keyword">module</span> <a href="Result/index.html">Result</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Rewrite"><a href="#module-Rewrite" class="anchor"></a><code><span class="keyword">module</span> <a href="Rewrite/index.html">Rewrite</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Ring"><a href="#module-Ring" class="anchor"></a><code><span class="keyword">module</span> <a href="Ring/index.html">Ring</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Signature"><a href="#module-Signature" class="anchor"></a><code><span class="keyword">module</span> <a href="Signature/index.html">Signature</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Solver"><a href="#module-Solver" class="anchor"></a><code><span class="keyword">module</span> <a href="Solver/index.html">Solver</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Syntax"><a href="#module-Syntax" class="anchor"></a><code><span class="keyword">module</span> <a href="Syntax/index.html">Syntax</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Tools"><a href="#module-Tools" class="anchor"></a><code><span class="keyword">module</span> <a href="Tools/index.html">Tools</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Trigo"><a href="#module-Trigo" class="anchor"></a><code><span class="keyword">module</span> <a href="Trigo/index.html">Trigo</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl><dl><dt class="spec module" id="module-Uniontree"><a href="#module-Uniontree" class="anchor"></a><code><span class="keyword">module</span> <a href="Uniontree/index.html">Uniontree</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></dt><dd></dd></dl></div></body></html>