<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>BoxStrict (libabsolute.Libabsolute__Abstract_box.BoxStrict)</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__Abstract_box</a> &#x00BB; BoxStrict</nav><h1>Module <code>Libabsolute__Abstract_box.BoxStrict</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__.Newitv.Test)</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/Csp/index.html#type-comparison">Libabsolute.Csp.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__.Newitv.Test)</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__.Newitv.Test)</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__.Newitv.Test)</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-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> <a href="../../Libabsolute/Csp/index.html#type-var">Libabsolute.Csp.var</a> * <a href="../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)</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> <a href="../../Libabsolute/Csp/index.html#type-var">Libabsolute.Csp.var</a> * <a href="../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)</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__.Newitv.Test)</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__.Newitv.Test)</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__.Newitv.Test)</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> <a href="../../Libabsolute/Csp/index.html#type-var">Libabsolute.Csp.var</a> * <a href="../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)</a>.t</code></dt></dl><dl><dt class="spec type" id="type-bexpr"><a href="#type-bexpr" class="anchor"></a><code><span class="keyword">type</span> bexpr</code><code> = <a href="../Box/index.html#type-bexpr">Box(Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)).bexpr</a></code><code> = </code><table class="variant"><tr id="type-bexpr.BFuncall" class="anchored"><td class="def constructor"><a href="#type-bexpr.BFuncall" class="anchor"></a><code>| </code><code><span class="constructor">BFuncall</span> <span class="keyword">of</span> string * <span><a href="index.html#type-bexpri">bexpri</a> list</span></code></td></tr><tr id="type-bexpr.BNeg" class="anchored"><td class="def constructor"><a href="#type-bexpr.BNeg" class="anchor"></a><code>| </code><code><span class="constructor">BNeg</span> <span class="keyword">of</span> <a href="index.html#type-bexpri">bexpri</a></code></td></tr><tr id="type-bexpr.BBinary" class="anchored"><td class="def constructor"><a href="#type-bexpr.BBinary" class="anchor"></a><code>| </code><code><span class="constructor">BBinary</span> <span class="keyword">of</span> <a href="../../Libabsolute/Csp/index.html#type-binop">Libabsolute.Csp.binop</a> * <a href="index.html#type-bexpri">bexpri</a> * <a href="index.html#type-bexpri">bexpri</a></code></td></tr><tr id="type-bexpr.BVar" class="anchored"><td class="def constructor"><a href="#type-bexpr.BVar" class="anchor"></a><code>| </code><code><span class="constructor">BVar</span> <span class="keyword">of</span> <a href="../../Libabsolute/Csp/index.html#type-var">Libabsolute.Csp.var</a></code></td></tr><tr id="type-bexpr.BCst" class="anchored"><td class="def constructor"><a href="#type-bexpr.BCst" class="anchor"></a><code>| </code><code><span class="constructor">BCst</span> <span class="keyword">of</span> <a href="../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)</a>.t</code></td></tr></table></dt><dt class="spec type" id="type-bexpri"><a href="#type-bexpri" class="anchor"></a><code><span class="keyword">and</span> bexpri</code><code> = <a href="index.html#type-bexpr">bexpr</a> * <a href="../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)</a>.t</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/Csp/index.html#type-expr">Libabsolute.Csp.expr</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> <a href="index.html#type-bexpr">bexpr</a> <span>&#45;&gt;</span> <a href="../../Libabsolute__Trigo/index.html#module-Make">Libabsolute__.Trigo.Make(Libabsolute__.Newitv.Test)</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/Csp/index.html#type-expr">Libabsolute.Csp.expr</a> <span>&#45;&gt;</span> <a href="../../Libabsolute/Csp/index.html#type-cmpop">Libabsolute.Csp.cmpop</a> <span>&#45;&gt;</span> <a href="../../Libabsolute/Csp/index.html#type-expr">Libabsolute.Csp.expr</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/Csp/index.html#type-expr">Libabsolute.Csp.expr</a> * <a href="../../Libabsolute/Csp/index.html#type-cmpop">Libabsolute.Csp.cmpop</a> * <a href="../../Libabsolute/Csp/index.html#type-expr">Libabsolute.Csp.expr</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/Csp/index.html#type-dom">Libabsolute.Csp.dom</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__.Newitv.Test)</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/Csp/index.html#type-expr">Libabsolute.Csp.expr</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-is_applicable"><a href="#val-is_applicable" class="anchor"></a><code><span class="keyword">val</span> is_applicable : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../Libabsolute/Csp/index.html#type-expr">Libabsolute.Csp.expr</a> <span>&#45;&gt;</span> bool</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 : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../Libabsolute/Csp/index.html#type-bexpr">Libabsolute.Csp.bexpr</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> <a href="../../Libabsolute/Csp/index.html#type-var">Libabsolute.Csp.var</a> <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 : <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__.Newitv.Test)</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>