<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>E (libabsolute.Libabsolute__.Newitv.TestQ.E)</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">Newitv</a> &#x00BB; <a href="../index.html">TestQ</a> &#x00BB; E</nav><h1>Module <code>TestQ.E</code></h1></header><div class="spec module" id="module-B"><a href="#module-B" class="anchor"></a><code><span class="keyword">module</span> <a href="B/index.html">B</a> : <span class="keyword">sig</span> ... <span class="keyword">end</span></code></div><dl><dt class="spec type" id="type-bound"><a href="#type-bound" class="anchor"></a><code><span class="keyword">type</span> bound</code><code> = <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec type" id="type-kind"><a href="#type-kind" class="anchor"></a><code><span class="keyword">type</span> kind</code><code> = <a href="../../Eval/index.html#type-kind">Eval(Libabsolute__.Bound_mpqf).kind</a></code><code> = </code><table class="variant"><tr id="type-kind.Strict" class="anchored"><td class="def constructor"><a href="#type-kind.Strict" class="anchor"></a><code>| </code><code><span class="constructor">Strict</span></code></td></tr><tr id="type-kind.Large" class="anchored"><td class="def constructor"><a href="#type-kind.Large" class="anchor"></a><code>| </code><code><span class="constructor">Large</span></code></td></tr></table></dt><dt class="spec type" id="type-real_bound"><a href="#type-real_bound" class="anchor"></a><code><span class="keyword">type</span> real_bound</code><code> = <a href="index.html#type-kind">kind</a> * <a href="index.html#type-bound">bound</a></code></dt></dl><dl><dt class="spec value" id="val-sym"><a href="#val-sym" class="anchor"></a><code><span class="keyword">val</span> sym : <span>(<a href="index.html#type-kind">kind</a> * <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-stricten"><a href="#val-stricten" class="anchor"></a><code><span class="keyword">val</span> stricten : <span>(<a href="index.html#type-kind">kind</a> * <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-mix"><a href="#val-mix" class="anchor"></a><code><span class="keyword">val</span> mix : <a href="index.html#type-kind">kind</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a></code></dt><dt class="spec value" id="val-bound_arith"><a href="#val-bound_arith" class="anchor"></a><code><span class="keyword">val</span> bound_arith : <span>(<a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <span class="type-var">'a</span></code></dt><dt class="spec value" id="val-bound_mul_up"><a href="#val-bound_mul_up" class="anchor"></a><code><span class="keyword">val</span> bound_mul_up : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-bound_mul_down"><a href="#val-bound_mul_down" class="anchor"></a><code><span class="keyword">val</span> bound_mul_down : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-bound_div_up"><a href="#val-bound_div_up" class="anchor"></a><code><span class="keyword">val</span> bound_div_up : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-bound_div_down"><a href="#val-bound_div_down" class="anchor"></a><code><span class="keyword">val</span> bound_div_down : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(+@)"><a href="#val-(+@)" class="anchor"></a><code><span class="keyword">val</span> (+@) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(+$)"><a href="#val-(+$)" class="anchor"></a><code><span class="keyword">val</span> (+$) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(-@)"><a href="#val-(-@)" class="anchor"></a><code><span class="keyword">val</span> (-@) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(-$)"><a href="#val-(-$)" class="anchor"></a><code><span class="keyword">val</span> (-$) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(*@)"><a href="#val-(*@)" class="anchor"></a><code><span class="keyword">val</span> (*@) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(*$)"><a href="#val-(*$)" class="anchor"></a><code><span class="keyword">val</span> (*$) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(/@)"><a href="#val-(/@)" class="anchor"></a><code><span class="keyword">val</span> (/@) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-(/$)"><a href="#val-(/$)" class="anchor"></a><code><span class="keyword">val</span> (/$) : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt></dl><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code><code> = <a href="index.html#type-real_bound">real_bound</a> * <a href="index.html#type-real_bound">real_bound</a></code></dt></dl><dl><dt class="spec value" id="val-half_space"><a href="#val-half_space" class="anchor"></a><code><span class="keyword">val</span> half_space : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-in_half"><a href="#val-in_half" class="anchor"></a><code><span class="keyword">val</span> in_half : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-cmp_low"><a href="#val-cmp_low" class="anchor"></a><code><span class="keyword">val</span> cmp_low : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-cmp_up"><a href="#val-cmp_up" class="anchor"></a><code><span class="keyword">val</span> cmp_up : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-gt_low"><a href="#val-gt_low" class="anchor"></a><code><span class="keyword">val</span> gt_low : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-lt_low"><a href="#val-lt_low" class="anchor"></a><code><span class="keyword">val</span> lt_low : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-gt_up"><a href="#val-gt_up" class="anchor"></a><code><span class="keyword">val</span> gt_up : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-lt_up"><a href="#val-lt_up" class="anchor"></a><code><span class="keyword">val</span> lt_up : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-min_low"><a href="#val-min_low" class="anchor"></a><code><span class="keyword">val</span> min_low : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-max_low"><a href="#val-max_low" class="anchor"></a><code><span class="keyword">val</span> max_low : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-min_up"><a href="#val-min_up" class="anchor"></a><code><span class="keyword">val</span> min_up : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-max_up"><a href="#val-max_up" class="anchor"></a><code><span class="keyword">val</span> max_up : <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-check_bot"><a href="#val-check_bot" class="anchor"></a><code><span class="keyword">val</span> check_bot : <span>(<span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span>)</span> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dt class="spec value" id="val-debot"><a href="#val-debot" class="anchor"></a><code><span class="keyword">val</span> debot : <span>(<span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span>)</span> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-validate"><a href="#val-validate" class="anchor"></a><code><span class="keyword">val</span> validate : <span>(<span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span>)</span> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span></code></dt><dt class="spec value" id="val-large"><a href="#val-large" class="anchor"></a><code><span class="keyword">val</span> large : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-strict"><a href="#val-strict" class="anchor"></a><code><span class="keyword">val</span> strict : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-large_strict"><a href="#val-large_strict" class="anchor"></a><code><span class="keyword">val</span> large_strict : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-strict_large"><a href="#val-strict_large" class="anchor"></a><code><span class="keyword">val</span> strict_large : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_bound"><a href="#val-of_bound" class="anchor"></a><code><span class="keyword">val</span> of_bound : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-zero"><a href="#val-zero" class="anchor"></a><code><span class="keyword">val</span> zero : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-one"><a href="#val-one" class="anchor"></a><code><span class="keyword">val</span> one : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-minus_one"><a href="#val-minus_one" class="anchor"></a><code><span class="keyword">val</span> minus_one : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-top_real"><a href="#val-top_real" class="anchor"></a><code><span class="keyword">val</span> top_real : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-top_int"><a href="#val-top_int" class="anchor"></a><code><span class="keyword">val</span> top_int : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-top"><a href="#val-top" class="anchor"></a><code><span class="keyword">val</span> top : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-zero_one"><a href="#val-zero_one" class="anchor"></a><code><span class="keyword">val</span> zero_one : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-minus_one_zero"><a href="#val-minus_one_zero" class="anchor"></a><code><span class="keyword">val</span> minus_one_zero : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-minus_one_one"><a href="#val-minus_one_one" class="anchor"></a><code><span class="keyword">val</span> minus_one_one : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-positive"><a href="#val-positive" class="anchor"></a><code><span class="keyword">val</span> positive : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-negative"><a href="#val-negative" class="anchor"></a><code><span class="keyword">val</span> negative : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_bounds"><a href="#val-of_bounds" class="anchor"></a><code><span class="keyword">val</span> of_bounds : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_ints"><a href="#val-of_ints" class="anchor"></a><code><span class="keyword">val</span> of_ints : int <span>&#45;&gt;</span> int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_int"><a href="#val-of_int" class="anchor"></a><code><span class="keyword">val</span> of_int : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_floats"><a href="#val-of_floats" class="anchor"></a><code><span class="keyword">val</span> of_floats : float <span>&#45;&gt;</span> float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_float"><a href="#val-of_float" class="anchor"></a><code><span class="keyword">val</span> of_float : float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_rats"><a href="#val-of_rats" class="anchor"></a><code><span class="keyword">val</span> of_rats : Mpqf.t <span>&#45;&gt;</span> Mpqf.t <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_rat"><a href="#val-of_rat" class="anchor"></a><code><span class="keyword">val</span> of_rat : Mpqf.t <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-hull"><a href="#val-hull" class="anchor"></a><code><span class="keyword">val</span> hull : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-half_sup"><a href="#val-half_sup" class="anchor"></a><code><span class="keyword">val</span> half_sup : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-half_inf"><a href="#val-half_inf" class="anchor"></a><code><span class="keyword">val</span> half_inf : <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-to_string"><a href="#val-to_string" class="anchor"></a><code><span class="keyword">val</span> to_string : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> string</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> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> unit</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 : string <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <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> <a href="../../../../Libabsolute/Constraint/index.html#type-boolean">Libabsolute.Constraint.boolean</a></span></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></code></dt><dt class="spec value" id="val-meet_opt"><a href="#val-meet_opt" class="anchor"></a><code><span class="keyword">val</span> meet_opt : <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-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> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-equal"><a href="#val-equal" class="anchor"></a><code><span class="keyword">val</span> equal : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-subseteq"><a href="#val-subseteq" class="anchor"></a><code><span class="keyword">val</span> subseteq : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-contains"><a href="#val-contains" class="anchor"></a><code><span class="keyword">val</span> contains : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-contains_float"><a href="#val-contains_float" class="anchor"></a><code><span class="keyword">val</span> contains_float : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-intersect"><a href="#val-intersect" class="anchor"></a><code><span class="keyword">val</span> intersect : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_finite"><a href="#val-is_finite" class="anchor"></a><code><span class="keyword">val</span> is_finite : <a href="index.html#type-real_bound">real_bound</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_bounded"><a href="#val-is_bounded" class="anchor"></a><code><span class="keyword">val</span> is_bounded : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_singleton"><a href="#val-is_singleton" class="anchor"></a><code><span class="keyword">val</span> is_singleton : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-range"><a href="#val-range" class="anchor"></a><code><span class="keyword">val</span> range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-float_size"><a href="#val-float_size" class="anchor"></a><code><span class="keyword">val</span> float_size : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-is_positive"><a href="#val-is_positive" class="anchor"></a><code><span class="keyword">val</span> is_positive : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-is_negative"><a href="#val-is_negative" class="anchor"></a><code><span class="keyword">val</span> is_negative : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-score"><a href="#val-score" class="anchor"></a><code><span class="keyword">val</span> score : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-overlap"><a href="#val-overlap" class="anchor"></a><code><span class="keyword">val</span> overlap : <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="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-magnitude"><a href="#val-magnitude" class="anchor"></a><code><span class="keyword">val</span> magnitude : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-mean"><a href="#val-mean" class="anchor"></a><code><span class="keyword">val</span> mean : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-split_on_value"><a href="#val-split_on_value" class="anchor"></a><code><span class="keyword">val</span> split_on_value : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.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-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-prune"><a href="#val-prune" class="anchor"></a><code><span class="keyword">val</span> prune : <span><span>(<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> list</span>)</span> option</span></code></dt><dt class="spec value" id="val-mon_incr"><a href="#val-mon_incr" class="anchor"></a><code><span class="keyword">val</span> mon_incr : <span>(<span>(<span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span>)</span> * <span>(<span class="type-var">'c</span> <span>&#45;&gt;</span> <span class="type-var">'d</span>)</span>)</span> <span>&#45;&gt;</span> <span>(<span>(<span class="type-var">'e</span> * <span class="type-var">'a</span>)</span> * <span>(<span class="type-var">'f</span> * <span class="type-var">'c</span>)</span>)</span> <span>&#45;&gt;</span> <span>(<span class="type-var">'e</span> * <span class="type-var">'b</span>)</span> * <span>(<span class="type-var">'f</span> * <span class="type-var">'d</span>)</span></code></dt><dt class="spec value" id="val-mon_decr"><a href="#val-mon_decr" class="anchor"></a><code><span class="keyword">val</span> mon_decr : <span>(<span>(<span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span>)</span> * <span>(<span class="type-var">'c</span> <span>&#45;&gt;</span> <span class="type-var">'d</span>)</span>)</span> <span>&#45;&gt;</span> <span>(<span>(<span class="type-var">'e</span> * <span class="type-var">'c</span>)</span> * <span>(<span class="type-var">'f</span> * <span class="type-var">'a</span>)</span>)</span> <span>&#45;&gt;</span> <span>(<span class="type-var">'f</span> * <span class="type-var">'b</span>)</span> * <span>(<span class="type-var">'e</span> * <span class="type-var">'d</span>)</span></code></dt><dt class="spec value" id="val-mon_2"><a href="#val-mon_2" class="anchor"></a><code><span class="keyword">val</span> mon_2 : <span>(<span>(<a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</a>)</span> * <span>(<a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</a>)</span>)</span> <span>&#45;&gt;</span> <a href="B/index.html#type-t">B.t</a> <span>&#45;&gt;</span> <span>(<a href="index.html#type-real_bound">real_bound</a> * <a href="index.html#type-real_bound">real_bound</a>)</span> <span>&#45;&gt;</span> bool <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-neg"><a href="#val-neg" class="anchor"></a><code><span class="keyword">val</span> neg : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-abs"><a href="#val-abs" class="anchor"></a><code><span class="keyword">val</span> abs : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-add"><a href="#val-add" class="anchor"></a><code><span class="keyword">val</span> add : <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></code></dt><dt class="spec value" id="val-sub"><a href="#val-sub" class="anchor"></a><code><span class="keyword">val</span> sub : <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></code></dt><dt class="spec value" id="val-mul"><a href="#val-mul" class="anchor"></a><code><span class="keyword">val</span> mul : <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></code></dt><dt class="spec value" id="val-div_sgn"><a href="#val-div_sgn" class="anchor"></a><code><span class="keyword">val</span> div_sgn : <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></code></dt><dt class="spec value" id="val-div"><a href="#val-div" class="anchor"></a><code><span class="keyword">val</span> div : <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-sqrt"><a href="#val-sqrt" class="anchor"></a><code><span class="keyword">val</span> sqrt : <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-force_int"><a href="#val-force_int" class="anchor"></a><code><span class="keyword">val</span> force_int : <span>(<span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span>)</span> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-pow"><a href="#val-pow" class="anchor"></a><code><span class="keyword">val</span> pow : <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></code></dt><dt class="spec value" id="val-n_root"><a href="#val-n_root" class="anchor"></a><code><span class="keyword">val</span> n_root : <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-ln"><a href="#val-ln" class="anchor"></a><code><span class="keyword">val</span> ln : <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-exp"><a href="#val-exp" class="anchor"></a><code><span class="keyword">val</span> exp : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<a href="index.html#type-kind">kind</a> * <a href="B/index.html#type-t">B.t</a>)</span></code></dt><dt class="spec value" id="val-ln10_up"><a href="#val-ln10_up" class="anchor"></a><code><span class="keyword">val</span> ln10_up : <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-ln10_down"><a href="#val-ln10_down" class="anchor"></a><code><span class="keyword">val</span> ln10_down : <a href="B/index.html#type-t">B.t</a></code></dt><dt class="spec value" id="val-i_ln10"><a href="#val-i_ln10" class="anchor"></a><code><span class="keyword">val</span> i_ln10 : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-log"><a href="#val-log" class="anchor"></a><code><span class="keyword">val</span> log : <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-min"><a href="#val-min" class="anchor"></a><code><span class="keyword">val</span> min : <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></code></dt><dt class="spec value" id="val-max"><a href="#val-max" class="anchor"></a><code><span class="keyword">val</span> max : <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></code></dt><dt class="spec value" id="val-eval_fun"><a href="#val-eval_fun" class="anchor"></a><code><span class="keyword">val</span> eval_fun : string <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span> <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> option</span></code></dt><dt class="spec value" id="val-to_float_range"><a href="#val-to_float_range" class="anchor"></a><code><span class="keyword">val</span> to_float_range : <span>(<span>(<span class="type-var">'a</span> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<span class="type-var">'b</span> * <a href="B/index.html#type-t">B.t</a>)</span>)</span> <span>&#45;&gt;</span> float * float</code></dt><dt class="spec value" id="val-to_rational_range"><a href="#val-to_rational_range" class="anchor"></a><code><span class="keyword">val</span> to_rational_range : <span>(<span>(<span class="type-var">'a</span> * <a href="B/index.html#type-t">B.t</a>)</span> * <span>(<span class="type-var">'b</span> * <a href="B/index.html#type-t">B.t</a>)</span>)</span> <span>&#45;&gt;</span> Mpqf.t * Mpqf.t</code></dt><dt class="spec value" id="val-to_annot"><a href="#val-to_annot" class="anchor"></a><code><span class="keyword">val</span> to_annot : <span class="type-var">'a</span> <span>&#45;&gt;</span> <a href="../../../../Libabsolute/Csp/index.html#type-typ">Libabsolute.Csp.typ</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> float</code></dt></dl></div></body></html>