<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>1-B (libabsolute.Newitv.Eval.1-B)</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">Newitv</a> &#x00BB; <a href="../index.html">Eval</a> &#x00BB; 1-B</nav><h1>Parameter <code>Eval.1-B</code></h1></header><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-compare"><a href="#val-compare" class="anchor"></a><code><span class="keyword">val</span> compare : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</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-leq"><a href="#val-leq" class="anchor"></a><code><span class="keyword">val</span> 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> bool</code></dt><dt class="spec value" id="val-geq"><a href="#val-geq" class="anchor"></a><code><span class="keyword">val</span> geq : <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-lt"><a href="#val-lt" class="anchor"></a><code><span class="keyword">val</span> 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> bool</code></dt><dt class="spec value" id="val-gt"><a href="#val-gt" class="anchor"></a><code><span class="keyword">val</span> gt : <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-neq"><a href="#val-neq" class="anchor"></a><code><span class="keyword">val</span> 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> bool</code></dt><dt class="spec value" id="val-odd"><a href="#val-odd" class="anchor"></a><code><span class="keyword">val</span> odd : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</code></dt><dt class="spec value" id="val-even"><a href="#val-even" class="anchor"></a><code><span class="keyword">val</span> even : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> bool</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-sign"><a href="#val-sign" class="anchor"></a><code><span class="keyword">val</span> sign : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> int</code></dt><dt class="spec value" id="val-of_int_up"><a href="#val-of_int_up" class="anchor"></a><code><span class="keyword">val</span> of_int_up : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_int_down"><a href="#val-of_int_down" class="anchor"></a><code><span class="keyword">val</span> of_int_down : int <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_float_up"><a href="#val-of_float_up" class="anchor"></a><code><span class="keyword">val</span> of_float_up : float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_float_down"><a href="#val-of_float_down" class="anchor"></a><code><span class="keyword">val</span> of_float_down : float <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_rat_up"><a href="#val-of_rat_up" class="anchor"></a><code><span class="keyword">val</span> of_rat_up : Mpqf.t <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_rat_down"><a href="#val-of_rat_down" class="anchor"></a><code><span class="keyword">val</span> of_rat_down : Mpqf.t <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_string_up"><a href="#val-of_string_up" class="anchor"></a><code><span class="keyword">val</span> of_string_up : string <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-of_string_down"><a href="#val-of_string_down" class="anchor"></a><code><span class="keyword">val</span> of_string_down : string <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-output"><a href="#val-output" class="anchor"></a><code><span class="keyword">val</span> output : Stdlib.out_channel <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-sprint"><a href="#val-sprint" class="anchor"></a><code><span class="keyword">val</span> sprint : unit <span>&#45;&gt;</span> <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> string</code></dt><dt class="spec value" id="val-bprint"><a href="#val-bprint" class="anchor"></a><code><span class="keyword">val</span> bprint : Stdlib.Buffer.t <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-pp_print"><a href="#val-pp_print" class="anchor"></a><code><span class="keyword">val</span> pp_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_float_up"><a href="#val-to_float_up" class="anchor"></a><code><span class="keyword">val</span> to_float_up : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-to_float_down"><a href="#val-to_float_down" class="anchor"></a><code><span class="keyword">val</span> to_float_down : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> float</code></dt><dt class="spec value" id="val-to_rat"><a href="#val-to_rat" class="anchor"></a><code><span class="keyword">val</span> to_rat : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> Mpqf.t</code></dt></dl><dl><dt class="spec type" id="type-kind"><a href="#type-kind" class="anchor"></a><code><span class="keyword">type</span> kind</code><code> = </code><table class="variant"><tr id="type-kind.FINITE" class="anchored"><td class="def constructor"><a href="#type-kind.FINITE" class="anchor"></a><code>| </code><code><span class="constructor">FINITE</span></code></td></tr><tr id="type-kind.MINF" class="anchored"><td class="def constructor"><a href="#type-kind.MINF" class="anchor"></a><code>| </code><code><span class="constructor">MINF</span></code></td></tr><tr id="type-kind.INF" class="anchored"><td class="def constructor"><a href="#type-kind.INF" class="anchor"></a><code>| </code><code><span class="constructor">INF</span></code></td></tr><tr id="type-kind.INVALID" class="anchored"><td class="def constructor"><a href="#type-kind.INVALID" class="anchor"></a><code>| </code><code><span class="constructor">INVALID</span></code></td></tr></table></dt></dl><dl><dt class="spec value" id="val-classify"><a href="#val-classify" class="anchor"></a><code><span class="keyword">val</span> classify : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-kind">kind</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-two"><a href="#val-two" class="anchor"></a><code><span class="keyword">val</span> two : <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-inf"><a href="#val-inf" class="anchor"></a><code><span class="keyword">val</span> inf : <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-minus_inf"><a href="#val-minus_inf" class="anchor"></a><code><span class="keyword">val</span> minus_inf : <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_up"><a href="#val-add_up" class="anchor"></a><code><span class="keyword">val</span> add_up : <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_up"><a href="#val-sub_up" class="anchor"></a><code><span class="keyword">val</span> sub_up : <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_up"><a href="#val-mul_up" class="anchor"></a><code><span class="keyword">val</span> mul_up : <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_up"><a href="#val-div_up" class="anchor"></a><code><span class="keyword">val</span> div_up : <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-add_down"><a href="#val-add_down" class="anchor"></a><code><span class="keyword">val</span> add_down : <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_down"><a href="#val-sub_down" class="anchor"></a><code><span class="keyword">val</span> sub_down : <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_down"><a href="#val-mul_down" class="anchor"></a><code><span class="keyword">val</span> mul_down : <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_down"><a href="#val-div_down" class="anchor"></a><code><span class="keyword">val</span> div_down : <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-bound_mul"><a href="#val-bound_mul" class="anchor"></a><code><span class="keyword">val</span> bound_mul : <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> <a href="index.html#type-t">t</a>)</span> <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> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-bound_div"><a href="#val-bound_div" class="anchor"></a><code><span class="keyword">val</span> bound_div : <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> <a href="index.html#type-t">t</a>)</span> <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> <a href="index.html#type-t">t</a></code></dt><dt class="spec value" id="val-sqrt_up"><a href="#val-sqrt_up" class="anchor"></a><code><span class="keyword">val</span> sqrt_up : <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-sqrt_down"><a href="#val-sqrt_down" class="anchor"></a><code><span class="keyword">val</span> sqrt_down : <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_up"><a href="#val-pow_up" class="anchor"></a><code><span class="keyword">val</span> pow_up : <a href="index.html#type-t">t</a> <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-pow_down"><a href="#val-pow_down" class="anchor"></a><code><span class="keyword">val</span> pow_down : <a href="index.html#type-t">t</a> <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-root_up"><a href="#val-root_up" class="anchor"></a><code><span class="keyword">val</span> root_up : <a href="index.html#type-t">t</a> <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-root_down"><a href="#val-root_down" class="anchor"></a><code><span class="keyword">val</span> root_down : <a href="index.html#type-t">t</a> <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-cos_up"><a href="#val-cos_up" class="anchor"></a><code><span class="keyword">val</span> cos_up : <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-cos_down"><a href="#val-cos_down" class="anchor"></a><code><span class="keyword">val</span> cos_down : <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-sin_up"><a href="#val-sin_up" class="anchor"></a><code><span class="keyword">val</span> sin_up : <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-sin_down"><a href="#val-sin_down" class="anchor"></a><code><span class="keyword">val</span> sin_down : <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-tan_up"><a href="#val-tan_up" class="anchor"></a><code><span class="keyword">val</span> tan_up : <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-tan_down"><a href="#val-tan_down" class="anchor"></a><code><span class="keyword">val</span> tan_down : <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-acos_up"><a href="#val-acos_up" class="anchor"></a><code><span class="keyword">val</span> acos_up : <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-acos_down"><a href="#val-acos_down" class="anchor"></a><code><span class="keyword">val</span> acos_down : <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-asin_up"><a href="#val-asin_up" class="anchor"></a><code><span class="keyword">val</span> asin_up : <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-asin_down"><a href="#val-asin_down" class="anchor"></a><code><span class="keyword">val</span> asin_down : <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-atan_up"><a href="#val-atan_up" class="anchor"></a><code><span class="keyword">val</span> atan_up : <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-atan_down"><a href="#val-atan_down" class="anchor"></a><code><span class="keyword">val</span> atan_down : <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-exp_up"><a href="#val-exp_up" class="anchor"></a><code><span class="keyword">val</span> exp_up : <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-exp_down"><a href="#val-exp_down" class="anchor"></a><code><span class="keyword">val</span> exp_down : <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_up"><a href="#val-ln_up" class="anchor"></a><code><span class="keyword">val</span> ln_up : <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_down"><a href="#val-ln_down" class="anchor"></a><code><span class="keyword">val</span> ln_down : <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-log_up"><a href="#val-log_up" class="anchor"></a><code><span class="keyword">val</span> log_up : <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-log_down"><a href="#val-log_down" class="anchor"></a><code><span class="keyword">val</span> log_down : <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-floor"><a href="#val-floor" class="anchor"></a><code><span class="keyword">val</span> floor : <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-ceil"><a href="#val-ceil" class="anchor"></a><code><span class="keyword">val</span> ceil : <a href="index.html#type-t">t</a> <span>&#45;&gt;</span> <a href="index.html#type-t">t</a></code></dt></dl></div></body></html>