<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoxQ (libabsolute.Libabsolute__.Cartesian.BoxQ)</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">Libabsolute__</a> &#x00BB; <a href="../index.html">Cartesian</a> &#x00BB; BoxQ</nav><h1>Module <code>Cartesian.BoxQ</code></h1></header><div class="spec module" id="module-Env"><a href="#module-Env" class="anchor"></a><code><span class="keyword">module</span> Env = <a href="../../../Libabsolute/Tools/index.html#module-VarMap">Libabsolute.Tools.VarMap</a></code></div><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute__Tools/VarMap/index.html#type-t">Env.t</a></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> = <a href="../../../Libabsolute/Constraint/index.html#type-comparison">Libabsolute.Constraint.comparison</a></code></dt></dl><dl><dt class="spec value" id="val-internalize"><a href="#val-internalize" class="anchor"></a><code><span class="keyword">val</span> internalize : <span>?&#8288;elem:<span class="type-var">'a</span></span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <span class="type-var">'b</span></code></dt><dt class="spec value" id="val-externalize"><a href="#val-externalize" class="anchor"></a><code><span class="keyword">val</span> externalize : <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-find"><a href="#val-find" class="anchor"></a><code><span class="keyword">val</span> find : <a href="../../../Libabsolute/Tools/VarMap/index.html#type-key">Libabsolute.Tools.VarMap.key</a> <span>&#45;&gt;</span> <span><span class="type-var">'a</span> <a href="../../../Libabsolute/Tools/VarMap/index.html#type-t">Libabsolute.Tools.VarMap.t</a></span> <span>&#45;&gt;</span> <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-is_integer"><a href="#val-is_integer" class="anchor"></a><code><span class="keyword">val</span> is_integer : <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute/Tools/VarMap/index.html#type-t">Libabsolute.Tools.VarMap.t</a></span> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Tools/VarMap/index.html#type-key">Libabsolute.Tools.VarMap.key</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-vars"><a href="#val-vars" class="anchor"></a><code><span class="keyword">val</span> vars : <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute/Tools/VarMap/index.html#type-t">Libabsolute.Tools.VarMap.t</a></span> <span>&#45;&gt;</span> <span><span>(<a href="../../../Libabsolute/Csp/index.html#type-typ">Libabsolute.Csp.typ</a> * <a href="../../../Libabsolute__Tools/VarMap/index.html#type-key">Env.key</a>)</span> list</span></code></dt><dt class="spec value" id="val-is_representable"><a href="#val-is_representable" class="anchor"></a><code><span class="keyword">val</span> is_representable : <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Kleene/index.html#type-t">Libabsolute.Kleene.t</a></code></dt><dt class="spec value" id="val-print"><a href="#val-print" class="anchor"></a><code><span class="keyword">val</span> print : Stdlib.Format.formatter <span>&#45;&gt;</span> <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute/Tools/VarMap/index.html#type-t">Libabsolute.Tools.VarMap.t</a></span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-join"><a href="#val-join" class="anchor"></a><code><span class="keyword">val</span> join : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> * bool</code></dt><dt class="spec value" id="val-join_list"><a href="#val-join_list" class="anchor"></a><code><span class="keyword">val</span> join_list : <span><a href="index.html#type-t">t</a> list</span> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> * bool</code></dt><dt class="spec value" id="val-meet"><a href="#val-meet" class="anchor"></a><code><span class="keyword">val</span> meet : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dt class="spec value" id="val-max_range"><a href="#val-max_range" class="anchor"></a><code><span class="keyword">val</span> max_range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> string * <a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t</code></dt><dt class="spec value" id="val-mix_range"><a href="#val-mix_range" class="anchor"></a><code><span class="keyword">val</span> mix_range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> string * <a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t</code></dt><dt class="spec value" id="val-diff"><a href="#val-diff" class="anchor"></a><code><span class="keyword">val</span> diff : <span><span>(<span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute__Tools/VarMap/index.html#type-t">Env.t</a></span> <span>&#45;&gt;</span> <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute__Tools/VarMap/index.html#type-t">Env.t</a></span> <span>&#45;&gt;</span> <span><span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute__Tools/VarMap/index.html#type-t">Env.t</a></span> list</span>)</span> option</span></code></dt><dt class="spec value" id="val-volume"><a href="#val-volume" class="anchor"></a><code><span class="keyword">val</span> volume : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-choose"><a href="#val-choose" class="anchor"></a><code><span class="keyword">val</span> choose : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> string * <a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t</code></dt></dl><dl><dt class="spec type" id="type-bexpri"><a href="#type-bexpri" class="anchor"></a><code><span class="keyword">type</span> bexpri</code><code> = <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute/Expr/index.html#type-annot_t">Libabsolute.Expr.annot_t</a></span></code></dt></dl><dl><dt class="spec value" id="val-eval"><a href="#val-eval" class="anchor"></a><code><span class="keyword">val</span> eval : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> <span>&#45;&gt;</span> <a href="index.html#type-bexpri">bexpri</a></code></dt><dt class="spec value" id="val-refine"><a href="#val-refine" class="anchor"></a><code><span class="keyword">val</span> refine : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute/Expr/index.html#type-annot">Libabsolute.Expr.annot</a></span> <span>&#45;&gt;</span> <a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-test"><a href="#val-test" class="anchor"></a><code><span class="keyword">val</span> test : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Constraint/index.html#type-cmpop">Libabsolute.Constraint.cmpop</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> <a href="../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.Consistency.t</a></span></code></dt><dt class="spec value" id="val-filter"><a href="#val-filter" class="anchor"></a><code><span class="keyword">val</span> filter : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span>(<a href="../../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> * <a href="../../../Libabsolute/Constraint/index.html#type-cmpop">Libabsolute.Constraint.cmpop</a> * <a href="../../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a>)</span> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> <a href="../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.Consistency.t</a></span></code></dt><dt class="spec value" id="val-empty"><a href="#val-empty" class="anchor"></a><code><span class="keyword">val</span> empty : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-is_empty"><a href="#val-is_empty" class="anchor"></a><code><span class="keyword">val</span> is_empty : <span><span class="type-var">'a</span> <a href="../../../Libabsolute__Tools/VarMap/index.html#type-t">Env.t</a></span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-add_var"><a href="#val-add_var" class="anchor"></a><code><span class="keyword">val</span> add_var : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span>(<a href="../../../Libabsolute/Csp/index.html#type-typ">Libabsolute.Csp.typ</a> * <a href="../../../Libabsolute/Tools/VarMap/index.html#type-key">Libabsolute.Tools.VarMap.key</a> * <a href="../../../Libabsolute/Dom/index.html#type-t">Libabsolute.Dom.t</a>)</span> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-rm_var"><a href="#val-rm_var" class="anchor"></a><code><span class="keyword">val</span> rm_var : <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute__Tools/VarMap/index.html#type-t">Env.t</a></span> <span>&#45;&gt;</span> <a href="../../../Libabsolute__Tools/VarMap/index.html#type-key">Env.key</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-forward_eval"><a href="#val-forward_eval" class="anchor"></a><code><span class="keyword">val</span> forward_eval : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Expr/index.html#type-t">Libabsolute.Expr.t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> * <a href="../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a></code></dt><dt class="spec value" id="val-to_constraint"><a href="#val-to_constraint" class="anchor"></a><code><span class="keyword">val</span> to_constraint : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Constraint/index.html#type-t">Libabsolute.Constraint.t</a></code></dt><dt class="spec value" id="val-spawn"><a href="#val-spawn" class="anchor"></a><code><span class="keyword">val</span> spawn : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Csp/index.html#type-instance">Libabsolute.Csp.instance</a></code></dt><dt class="spec value" id="val-is_abstraction"><a href="#val-is_abstraction" class="anchor"></a><code><span class="keyword">val</span> is_abstraction : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Csp/index.html#type-instance">Libabsolute.Csp.instance</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-split_along"><a href="#val-split_along" class="anchor"></a><code><span class="keyword">val</span> split_along : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> string <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span></code></dt><dt class="spec value" id="val-split"><a href="#val-split" class="anchor"></a><code><span class="keyword">val</span> split : float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span></code></dt><dt class="spec value" id="val-render"><a href="#val-render" class="anchor"></a><code><span class="keyword">val</span> render : <span><a href="../../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Itv.ItvQ)</a>.t <a href="../../../Libabsolute/Tools/VarMap/index.html#type-t">Libabsolute.Tools.VarMap.t</a></span> <span>&#45;&gt;</span> Picasso.Drawable.t</code></dt></dl></div></body></html>