<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Itv_int (libabsolute.Itv_int)</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; Itv_int</nav><h1>Module <code>Itv_int</code></h1></header><dl><dt class="spec type" id="type-bound"><a href="#type-bound" class="anchor"></a><code><span class="keyword">type</span> bound</code><code> = int</code></dt><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-bound">bound</a> * <a href="index.html#type-bound">bound</a></code></dt></dl><dl><dt class="spec value" id="val-validate"><a href="#val-validate" class="anchor"></a><code><span class="keyword">val</span> validate : <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-check_bot"><a href="#val-check_bot" class="anchor"></a><code><span class="keyword">val</span> check_bot : <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-of_bound"><a href="#val-of_bound" class="anchor"></a><code><span class="keyword">val</span> of_bound : <a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <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="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</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 : <a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</a> <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> <span><a href="index.html#type-t">t</a> option</span></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 : <a href="index.html#type-bound">bound</a> <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 : <span><span class="type-var">'a</span> option</span></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-to_float_range"><a href="#val-to_float_range" class="anchor"></a><code><span class="keyword">val</span> to_float_range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float * float</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-to_rational_range"><a href="#val-to_rational_range" class="anchor"></a><code><span class="keyword">val</span> to_rational_range : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> Mpqf.t * Mpqf.t</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-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"><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-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_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> int</code></dt><dt class="spec value" id="val-score"><a href="#val-score" class="anchor"></a><code><span class="keyword">val</span> score : <span>(int * int)</span> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-split_on"><a href="#val-split_on" class="anchor"></a><code><span class="keyword">val</span> split_on : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-bound">bound</a> <span>&#45;&gt;</span> <span><span>(<a href="index.html#type-bound">bound</a> * <a href="index.html#type-bound">bound</a>)</span> 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><span>(<a href="index.html#type-bound">bound</a> * <a href="index.html#type-bound">bound</a>)</span> 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 : <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> * <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-mix4"><a href="#val-mix4" class="anchor"></a><code><span class="keyword">val</span> mix4 : <span>(<span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <span class="type-var">'c</span>)</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'a</span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <span class="type-var">'b</span> <span>&#45;&gt;</span> <span class="type-var">'c</span> * <span class="type-var">'c</span></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_sign"><a href="#val-div_sign" class="anchor"></a><code><span class="keyword">val</span> div_sign : <span>(int * int)</span> <span>&#45;&gt;</span> <span>(int * int)</span> <span>&#45;&gt;</span> int * int</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-force_int"><a href="#val-force_int" class="anchor"></a><code><span class="keyword">val</span> force_int : <span>(<span class="type-var">'a</span> * <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> <span class="type-var">'a</span></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-bound">bound</a> * <a href="index.html#type-bound">bound</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-filter_leq"><a href="#val-filter_leq" class="anchor"></a><code><span class="keyword">val</span> filter_leq : <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><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> <a href="../Consistency/index.html#type-t">Consistency.t</a></span></code></dt><dt class="spec value" id="val-filter_lt"><a href="#val-filter_lt" class="anchor"></a><code><span class="keyword">val</span> filter_lt : <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><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> <a href="../Consistency/index.html#type-t">Consistency.t</a></span></code></dt><dt class="spec value" id="val-filter_eq"><a href="#val-filter_eq" class="anchor"></a><code><span class="keyword">val</span> filter_eq : <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> <a href="../Consistency/index.html#type-t">Consistency.t</a></span></code></dt><dt class="spec value" id="val-filter_neq"><a href="#val-filter_neq" class="anchor"></a><code><span class="keyword">val</span> filter_neq : <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><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> <a href="../Consistency/index.html#type-t">Consistency.t</a></span></code></dt><dt class="spec value" id="val-filter_neg"><a href="#val-filter_neg" class="anchor"></a><code><span class="keyword">val</span> filter_neg : <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-filter_abs"><a href="#val-filter_abs" class="anchor"></a><code><span class="keyword">val</span> filter_abs : <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-filter_add"><a href="#val-filter_add" class="anchor"></a><code><span class="keyword">val</span> filter_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> <span>&#45;&gt;</span> <span><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> option</span></code></dt><dt class="spec value" id="val-filter_sub"><a href="#val-filter_sub" class="anchor"></a><code><span class="keyword">val</span> filter_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> <span>&#45;&gt;</span> <span><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> option</span></code></dt><dt class="spec value" id="val-filter_mul"><a href="#val-filter_mul" class="anchor"></a><code><span class="keyword">val</span> filter_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> <span>&#45;&gt;</span> <span><span>(<a href="index.html#type-t">t</a> * <a href="index.html#type-t">t</a>)</span> option</span></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="../Csp/index.html#type-var">Csp.var</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><span>(<a href="../Csp/index.html#type-expr">Csp.expr</a> * <a href="../Csp/index.html#type-cmpop">Csp.cmpop</a> * <a href="../Csp/index.html#type-expr">Csp.expr</a>)</span> <a href="../Csp/index.html#type-boolean">Csp.boolean</a></span></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="../Csp/index.html#type-annot">Csp.annot</a></code></dt><dt class="spec value" id="val-filter_fun"><a href="#val-filter_fun" class="anchor"></a><code><span class="keyword">val</span> filter_fun : string <span>&#45;&gt;</span> <span><a href="index.html#type-t">t</a> list</span> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <span><span><a href="index.html#type-t">t</a> list</span> option</span></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> int</code></dt></dl></div></body></html>