<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>Make (libabsolute.Libabsolute__.Trigo.Make)</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">Trigo</a> &#x00BB; Make</nav><h1>Module <code>Trigo.Make</code></h1></header><h3 class="heading">Parameters</h3><ul><li><code><a href="argument-1-I/index.html">I</a> : <a href="../../Itv_sig/index.html#module-type-ITV">Libabsolute__.Itv_sig.ITV</a></code></li></ul><h3 class="heading">Signature</h3><div><div class="spec include"><div class="doc"><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="index.html#argument-1-I">I</a></code></span></summary><div><div class="spec include"><div class="doc"><h2 id="filtering-(test-transfer-functions)"><a href="#filtering-(test-transfer-functions)" class="anchor"></a>FILTERING (TEST TRANSFER FUNCTIONS)</h2><details open="open"><summary><span class="def"><code><span class="keyword">include</span> <a href="../../Itv_sig/index.html#module-type-ITV_EVAL">Libabsolute__.Itv_sig.ITV_EVAL</a></code></span></summary><dl><dt class="spec type" id="type-t"><a href="#type-t" class="anchor"></a><code><span class="keyword">type</span> t</code></dt></dl><dl><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_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-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><dd><p>constructors</p></dd></dl><dl><dt class="spec value" id="val-of_rats"><a href="#val-of_rats" class="anchor"></a><code><span class="keyword">val</span> of_rats : <a href="../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</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> <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><dd><p>singletons</p></dd></dl><dl><dt class="spec value" id="val-of_rat"><a href="#val-of_rat" class="anchor"></a><code><span class="keyword">val</span> of_rat : <a href="../../../Libabsolute/Q/index.html#type-t">Libabsolute.Q.t</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 : float <span>&#45;&gt;</span> <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><dd><h2 id="printing-and-conversions"><a href="#printing-and-conversions" class="anchor"></a>PRINTING and CONVERSIONS</h2></dd></dl><dl><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> <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_annot"><a href="#val-to_annot" class="anchor"></a><code><span class="keyword">val</span> to_annot : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="../../../Libabsolute/Csp/index.html#type-typ">Libabsolute.Csp.typ</a></code></dt><dd><p>returns the type annotation of the represented values</p></dd></dl><dl><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> <a href="../../../Libabsolute/Constraint/index.html#type-t">Libabsolute.Constraint.t</a></code></dt><dd><p>converts the interval to a boolean constraint</p></dd></dl><dl><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><dd><p>measure</p></dd></dl><dl><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></dl><section><header><h2 id="set-theoretic"><a href="#set-theoretic" class="anchor"></a>SET-THEORETIC</h2></header><dl><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><dd><p>operations</p></dd></dl><dl><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-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><dd><p>same as meet but returns an option instead of raising Exit</p></dd></dl><dl><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-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><dd><p>predicates</p></dd></dl><dl><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-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-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><dd><h2 id="interval-arithmetics-(forward-evaluation)"><a href="#interval-arithmetics-(forward-evaluation)" class="anchor"></a>INTERVAL ARITHMETICS (FORWARD EVALUATION)</h2></dd></dl><dl><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"><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><dd><p>return valid values (possibly Bot, if dividend is nul)</p></dd></dl><dl><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><dd><p>min and max over intervals</p></dd></dl><dl><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-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><dd><p>returns valid value when the exponant is a singleton positive integer. fails otherwise</p></dd></dl><dl><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-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> <a href="index.html#type-t">t</a></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-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-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><dd><p>function calls (sqrt, exp, ln ...) are handled here : given a function name and and a list of argument, it returns a possibly bottom result</p></dd></dl><dl><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><dd><p>generate a random float within the given interval</p></dd></dl></section></details></div></div></div><dl><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="../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.Consistency.t</a></span></code></dt><dd><p>given two interval arguments, return a filtered subset of each argument by removing points that cannot satisfy the predicate; may also return Sat or Unsat if all (resp. no) point can satisfy the predicate. Interface is simplified since a &gt; b &lt;=&gt; b &lt; a</p></dd></dl><dl><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="../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.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="../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.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="../../../Libabsolute/Consistency/index.html#type-t">Libabsolute.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><dd><p>given the interval argument(s) and the expected interval result of a numeric operation, returns refined interval argument(s) where points that cannot contribute to a value in the result are removed; may also return Bot if no point in an argument can lead to a point in the result</p></dd></dl><dl><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-filter_div"><a href="#val-filter_div" class="anchor"></a><code><span class="keyword">val</span> filter_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> <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_pow"><a href="#val-filter_pow" class="anchor"></a><code><span class="keyword">val</span> filter_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> <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_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><dd><p>filtering function calls like (sqrt, exp, ln ...) is done here : given a function name, a list of argument, and a result, it remove points that cannot satisfy the relation : f(arg1,..,argn) = r; it returns a possibly bottom result</p></dd></dl></details></div></div></div><dl><dt class="spec value" id="val-pi_down"><a href="#val-pi_down" class="anchor"></a><code><span class="keyword">val</span> pi_down : float</code></dt><dt class="spec value" id="val-pi_up"><a href="#val-pi_up" class="anchor"></a><code><span class="keyword">val</span> pi_up : float</code></dt><dt class="spec value" id="val-sin_up"><a href="#val-sin_up" class="anchor"></a><code><span class="keyword">val</span> sin_up : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-sin_down"><a href="#val-sin_down" class="anchor"></a><code><span class="keyword">val</span> sin_down : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-cos_up"><a href="#val-cos_up" class="anchor"></a><code><span class="keyword">val</span> cos_up : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-cos_down"><a href="#val-cos_down" class="anchor"></a><code><span class="keyword">val</span> cos_down : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-tan_up"><a href="#val-tan_up" class="anchor"></a><code><span class="keyword">val</span> tan_up : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-tan_down"><a href="#val-tan_down" class="anchor"></a><code><span class="keyword">val</span> tan_down : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-atan_down"><a href="#val-atan_down" class="anchor"></a><code><span class="keyword">val</span> atan_down : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-atan_up"><a href="#val-atan_up" class="anchor"></a><code><span class="keyword">val</span> atan_up : float <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-acos_up"><a href="#val-acos_up" class="anchor"></a><code><span class="keyword">val</span> acos_up : float <span>&#45;&gt;</span> <span>float option</span></code></dt><dt class="spec value" id="val-acos_down"><a href="#val-acos_down" class="anchor"></a><code><span class="keyword">val</span> acos_down : float <span>&#45;&gt;</span> <span>float option</span></code></dt><dt class="spec value" id="val-asin_up"><a href="#val-asin_up" class="anchor"></a><code><span class="keyword">val</span> asin_up : float <span>&#45;&gt;</span> <span>float option</span></code></dt><dt class="spec value" id="val-asin_down"><a href="#val-asin_down" class="anchor"></a><code><span class="keyword">val</span> asin_down : float <span>&#45;&gt;</span> <span>float option</span></code></dt></dl><dl><dt class="spec type" id="type-float_itv"><a href="#type-float_itv" class="anchor"></a><code><span class="keyword">type</span> float_itv</code><code> = float * float</code></dt></dl><dl><dt class="spec value" id="val-print_fitv"><a href="#val-print_fitv" class="anchor"></a><code><span class="keyword">val</span> print_fitv : Stdlib.Format.formatter <span>&#45;&gt;</span> <span>(float * float)</span> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-pihalf_down"><a href="#val-pihalf_down" class="anchor"></a><code><span class="keyword">val</span> pihalf_down : <a href="../../Bound_float/index.html#type-t">F.t</a></code></dt><dt class="spec value" id="val-pihalf_up"><a href="#val-pihalf_up" class="anchor"></a><code><span class="keyword">val</span> pihalf_up : <a href="../../Bound_float/index.html#type-t">F.t</a></code></dt><dt class="spec value" id="val-twopiup"><a href="#val-twopiup" class="anchor"></a><code><span class="keyword">val</span> twopiup : float</code></dt><dt class="spec value" id="val-twopidown"><a href="#val-twopidown" class="anchor"></a><code><span class="keyword">val</span> twopidown : float</code></dt><dt class="spec value" id="val-pihalf_fitv"><a href="#val-pihalf_fitv" class="anchor"></a><code><span class="keyword">val</span> pihalf_fitv : <a href="../../Bound_float/index.html#type-t">F.t</a> * <a href="../../Bound_float/index.html#type-t">F.t</a></code></dt><dt class="spec value" id="val-pi_fitv"><a href="#val-pi_fitv" class="anchor"></a><code><span class="keyword">val</span> pi_fitv : <a href="../../Bound_float/index.html#type-t">F.t</a> * <a href="../../Bound_float/index.html#type-t">F.t</a></code></dt><dt class="spec value" id="val-twopi_fitv"><a href="#val-twopi_fitv" class="anchor"></a><code><span class="keyword">val</span> twopi_fitv : float * float</code></dt><dt class="spec value" id="val-fitv_to_i"><a href="#val-fitv_to_i" class="anchor"></a><code><span class="keyword">val</span> fitv_to_i : <span>(float * float)</span> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a></code></dt><dt class="spec value" id="val-pihalf_itv"><a href="#val-pihalf_itv" class="anchor"></a><code><span class="keyword">val</span> pihalf_itv : <a href="argument-1-I/index.html#type-t">I.t</a></code></dt><dt class="spec value" id="val-pi_itv"><a href="#val-pi_itv" class="anchor"></a><code><span class="keyword">val</span> pi_itv : <a href="argument-1-I/index.html#type-t">I.t</a></code></dt><dt class="spec value" id="val-twopi_itv"><a href="#val-twopi_itv" class="anchor"></a><code><span class="keyword">val</span> twopi_itv : <a href="argument-1-I/index.html#type-t">I.t</a></code></dt></dl><dl><dt class="spec type" id="type-monotony"><a href="#type-monotony" class="anchor"></a><code><span class="keyword">type</span> monotony</code><code> = </code><table class="variant"><tr id="type-monotony.Incr" class="anchored"><td class="def constructor"><a href="#type-monotony.Incr" class="anchor"></a><code>| </code><code><span class="constructor">Incr</span></code></td></tr><tr id="type-monotony.Decr" class="anchored"><td class="def constructor"><a href="#type-monotony.Decr" class="anchor"></a><code>| </code><code><span class="constructor">Decr</span></code></td></tr><tr id="type-monotony.Change" class="anchored"><td class="def constructor"><a href="#type-monotony.Change" class="anchor"></a><code>| </code><code><span class="constructor">Change</span> <span class="keyword">of</span> bool</code></td></tr></table></dt></dl><dl><dt class="spec value" id="val-print_monotony"><a href="#val-print_monotony" class="anchor"></a><code><span class="keyword">val</span> print_monotony : Stdlib.Format.formatter <span>&#45;&gt;</span> <a href="index.html#type-monotony">monotony</a> <span>&#45;&gt;</span> unit</code></dt><dt class="spec value" id="val-itv"><a href="#val-itv" class="anchor"></a><code><span class="keyword">val</span> itv : <a href="index.html#type-monotony">monotony</a> <span>&#45;&gt;</span> <span>(<span class="type-var">'a</span> <span>&#45;&gt;</span> Stdlib.Float.t)</span> <span>&#45;&gt;</span> <span>(<span class="type-var">'a</span> <span>&#45;&gt;</span> float)</span> <span>&#45;&gt;</span> <span>(<span class="type-var">'a</span> * <span class="type-var">'a</span>)</span> <span>&#45;&gt;</span> float * float</code></dt><dt class="spec value" id="val-cosmonotony"><a href="#val-cosmonotony" class="anchor"></a><code><span class="keyword">val</span> cosmonotony : <span>(float * float)</span> <span>&#45;&gt;</span> <a href="index.html#type-monotony">monotony</a></code></dt><dt class="spec value" id="val-cos_itv"><a href="#val-cos_itv" class="anchor"></a><code><span class="keyword">val</span> cos_itv : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a></code></dt><dt class="spec value" id="val-acos_itv"><a href="#val-acos_itv" class="anchor"></a><code><span class="keyword">val</span> acos_itv : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-sin_itv"><a href="#val-sin_itv" class="anchor"></a><code><span class="keyword">val</span> sin_itv : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a></code></dt><dt class="spec value" id="val-asin_itv"><a href="#val-asin_itv" class="anchor"></a><code><span class="keyword">val</span> asin_itv : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-tan_itv"><a href="#val-tan_itv" class="anchor"></a><code><span class="keyword">val</span> tan_itv : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-atan_itv"><a href="#val-atan_itv" class="anchor"></a><code><span class="keyword">val</span> atan_itv : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.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="argument-1-I/index.html#type-t">I.t</a> list</span> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-normalize"><a href="#val-normalize" class="anchor"></a><code><span class="keyword">val</span> normalize : float <span>&#45;&gt;</span> <a href="../../Bound_float/index.html#type-t">F.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> * <a href="argument-1-I/index.html#type-t">I.t</a></code></dt><dt class="spec value" id="val-arc"><a href="#val-arc" class="anchor"></a><code><span class="keyword">val</span> arc : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span>(<a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span>)</span> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-arcos_0_2pi"><a href="#val-arcos_0_2pi" class="anchor"></a><code><span class="keyword">val</span> arcos_0_2pi : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-arcsin_mpih_pih"><a href="#val-arcsin_mpih_pih" class="anchor"></a><code><span class="keyword">val</span> arcsin_mpih_pih : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</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="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span>(<a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span>)</span> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-filter_cos"><a href="#val-filter_cos" class="anchor"></a><code><span class="keyword">val</span> filter_cos : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-filter_sin"><a href="#val-filter_sin" class="anchor"></a><code><span class="keyword">val</span> filter_sin : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-arctan_mpih_pih"><a href="#val-arctan_mpih_pih" class="anchor"></a><code><span class="keyword">val</span> arctan_mpih_pih : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-filter_tan"><a href="#val-filter_tan" class="anchor"></a><code><span class="keyword">val</span> filter_tan : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-filter_asin"><a href="#val-filter_asin" class="anchor"></a><code><span class="keyword">val</span> filter_asin : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-filter_acos"><a href="#val-filter_acos" class="anchor"></a><code><span class="keyword">val</span> filter_acos : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></code></dt><dt class="spec value" id="val-filter_atan"><a href="#val-filter_atan" class="anchor"></a><code><span class="keyword">val</span> filter_atan : <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><a href="argument-1-I/index.html#type-t">I.t</a> option</span></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="argument-1-I/index.html#type-t">I.t</a> list</span> <span>&#45;&gt;</span> <a href="argument-1-I/index.html#type-t">I.t</a> <span>&#45;&gt;</span> <span><span><a href="argument-1-I/index.html#type-t">I.t</a> list</span> option</span></code></dt></dl></div></body></html>