Sophie

Sophie

distrib > Mageia > 6 > i586 > media > core-release > by-pkgid > 3d21bba46faba8ab8bc0569a35594b3e > files > 18

ocaml-gg-devel-0.8.0-6.mga6.i586.rpm

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<link rel="stylesheet" href="style.css" type="text/css">
<meta content="text/html; charset=utf-8" http-equiv="Content-Type">
<link rel="Start" href="index.html">
<link rel="previous" href="Gg.Size3.html">
<link rel="next" href="Gg.Box3.html">
<link rel="Up" href="Gg.html">
<link title="Index of types" rel=Appendix href="index_types.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="Index of module types" rel=Appendix href="index_module_types.html">
<link title="Gg" rel="Chapter" href="Gg.html"><link title="Constructors, accessors and constants" rel="Section" href="#cons">
<link title="Functions" rel="Section" href="#functions">
<link title="Predicates and comparisons" rel="Section" href="#1_Predicatesandcomparisons">
<link title="Printers" rel="Section" href="#printers">
<title>Gg.Box2</title>
</head>
<body>
<div class="navbar"><a class="pre" href="Gg.Size3.html" title="Gg.Size3">Previous</a>
&nbsp;<a class="up" href="Gg.html" title="Gg">Up</a>
&nbsp;<a class="post" href="Gg.Box3.html" title="Gg.Box3">Next</a>
</div>
<h1>Module <a href="type_Gg.Box2.html">Gg.Box2</a></h1>
<pre><span class="keyword">module</span> Box2: <code class="code"><span class="keyword">sig</span></code> <a href="Gg.Box2.html">..</a> <code class="code"><span class="keyword">end</span></code></pre><hr width="100%">
<pre><span id="TYPEt"><span class="keyword">type</span> <code class="type"></code>t</span> = <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a></code> </pre>
<div class="info">
The type for 2D boxes 
      (<a href="http://mathworld.wolfram.com/Rectangle.html">rectangles</a>).<br>
</div>

<pre><span id="VALdim"><span class="keyword">val</span> dim</span> : <code class="type">int</code></pre><div class="info">
<code class="code">dim</code> is the dimension of the boxes of type <a href="Gg.html#TYPEbox2"><code class="code"><span class="constructor">Gg</span>.box2</code></a>.<br>
</div>
<pre><span id="TYPEv"><span class="keyword">type</span> <code class="type"></code>v</span> = <code class="type"><a href="Gg.html#TYPEv2">Gg.v2</a></code> </pre>
<div class="info">
The type for 2D vectors.<br>
</div>

<pre><span id="TYPEp"><span class="keyword">type</span> <code class="type"></code>p</span> = <code class="type"><a href="Gg.html#TYPEp2">Gg.p2</a></code> </pre>
<div class="info">
The type for 2D points.<br>
</div>

<pre><span id="TYPEsize"><span class="keyword">type</span> <code class="type"></code>size</span> = <code class="type"><a href="Gg.html#TYPEsize2">Gg.size2</a></code> </pre>
<div class="info">
The type for 2D sizes.<br>
</div>

<pre><span id="TYPEm"><span class="keyword">type</span> <code class="type"></code>m</span> = <code class="type"><a href="Gg.html#TYPEm2">Gg.m2</a></code> </pre>
<div class="info">
The type for matrices representing
      <a href="http://mathworld.wolfram.com/LinearTransformation.html">linear 
      transformations</a> of 2D space.<br>
</div>

<br>
<h1 id="cons">Constructors, accessors and constants</h1><br>
<pre><span id="VALv"><span class="keyword">val</span> v</span> : <code class="type"><a href="Gg.html#TYPEp2">Gg.p2</a> -> <a href="Gg.html#TYPEsize2">Gg.size2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">v o size</code> is a box whose origin is <code class="code">o</code> and size is <code class="code">size</code>.<br>
</div>
<pre><span id="VALv_mid"><span class="keyword">val</span> v_mid</span> : <code class="type"><a href="Gg.html#TYPEp2">Gg.p2</a> -> <a href="Gg.html#TYPEsize2">Gg.size2</a> -> <a href="Gg.Box2.html#TYPEt">t</a></code></pre><div class="info">
<code class="code">v_mid mid size</code> is a box whose <a href="Gg.Box2.html#VALmid"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.mid</code></a> point is <code class="code">mid</code> and 
      size is <code class="code">size</code>.<br>
</div>
<pre><span id="VALempty"><span class="keyword">val</span> empty</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">empty</code> is <em>the</em> empty box.<br>
</div>
<pre><span id="VALo"><span class="keyword">val</span> o</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">o b</code> is the origin of <code class="code">b</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALox"><span class="keyword">val</span> ox</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">ox b</code> is <code class="code"><span class="constructor">V2</span>.x (o b)</code>.<br>
</div>
<pre><span id="VALoy"><span class="keyword">val</span> oy</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">oy b</code> is <code class="code"><span class="constructor">V2</span>.y (o b)</code>.<br>
</div>
<pre><span id="VALsize"><span class="keyword">val</span> size</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.Box2.html#TYPEsize">size</a></code></pre><div class="info">
<code class="code">size b</code> is the size of <code class="code">b</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALw"><span class="keyword">val</span> w</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">w b</code> is <code class="code"><span class="constructor">Size2</span>.w (size b)</code>.<br>
</div>
<pre><span id="VALh"><span class="keyword">val</span> h</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">h b</code> is <code class="code"><span class="constructor">Size2</span>.h (size b)</code>.<br>
</div>
<pre><span id="VALzero"><span class="keyword">val</span> zero</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">zero</code> is a box whose origin and size is zero.<br>
</div>
<pre><span id="VALunit"><span class="keyword">val</span> unit</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">unit</code> is the unit box which extends from zero to 
      one in all dimensions.<br>
</div>
<pre><span id="VALof_pts"><span class="keyword">val</span> of_pts</span> : <code class="type"><a href="Gg.html#TYPEp2">Gg.p2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">of_pts p p'</code> is the smallest box whose space contains <code class="code">p</code> and <code class="code">p'</code>.<br>
</div>
<br>
<h1 id="functions">Functions</h1><br>
<pre><span id="VALmin"><span class="keyword">val</span> min</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">min b</code> is the smallest point of <code class="code">b</code> (its origin).<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALminx"><span class="keyword">val</span> minx</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">minx b</code> is <code class="code"><span class="constructor">V2</span>.x (min b)</code>.<br>
</div>
<pre><span id="VALminy"><span class="keyword">val</span> miny</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">miny b</code> is <code class="code"><span class="constructor">V2</span>.y (min b)</code>.<br>
</div>
<pre><span id="VALmax"><span class="keyword">val</span> max</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">max b</code> is the greatest point of <code class="code">b</code> (its size added to the origin).<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALmaxx"><span class="keyword">val</span> maxx</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">maxx b</code> is <code class="code"><span class="constructor">V2</span>.x (max b)</code>.<br>
</div>
<pre><span id="VALmaxy"><span class="keyword">val</span> maxy</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">maxy b</code> is <code class="code"><span class="constructor">V2</span>.y (max b)</code>.<br>
</div>
<pre><span id="VALmid"><span class="keyword">val</span> mid</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">mid b</code> is the mid point between <code class="code">min</code> and <code class="code">max</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALmidx"><span class="keyword">val</span> midx</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">midx b</code> is <code class="code"><span class="constructor">V2</span>.x (mid b)</code>.<br>
</div>
<pre><span id="VALmidy"><span class="keyword">val</span> midy</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">midy b</code> is <code class="code"><span class="constructor">V2</span>.y (mid b)</code>.<br>
</div>
<pre><span id="VALbottom_left"><span class="keyword">val</span> bottom_left</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">bottom_left b</code> is the bottom-left corner of <code class="code">b</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALbottom_right"><span class="keyword">val</span> bottom_right</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">bottom_right b</code> is the bottom-right corner of <code class="code">b</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALtop_left"><span class="keyword">val</span> top_left</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">top_left b</code> is the top-left corner of <code class="code">b</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALtop_right"><span class="keyword">val</span> top_right</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEp2">Gg.p2</a></code></pre><div class="info">
<code class="code">top_right b</code> is the top-right corner of <code class="code">b</code>.<br>
<b>Raises</b> <code>Invalid_argument</code> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a><br>
</div>
<pre><span id="VALarea"><span class="keyword">val</span> area</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> float</code></pre><div class="info">
<code class="code">area b</code> is the surface area of <code class="code">b</code>.<br>
</div>
<pre><span id="VALinter"><span class="keyword">val</span> inter</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">inter b b'</code> is a box whose space is the intersection of S(<code class="code">b</code>) 
      and S(<code class="code">b'</code>).<br>
</div>
<pre><span id="VALunion"><span class="keyword">val</span> union</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">union b b'</code> is the smallest box whose space contains 
      S(<code class="code">b</code>) and S(<code class="code">b'</code>).<br>
</div>
<pre><span id="VALinset"><span class="keyword">val</span> inset</span> : <code class="type"><a href="Gg.html#TYPEv2">Gg.v2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">inset d b</code> is <code class="code">b</code> whose edges are inset in each dimension
      according to amounts in <code class="code">d</code>. Negative values in <code class="code">d</code> outset. If
      the resulting size is negative returns <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.  Returns
      <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<pre><span id="VALround"><span class="keyword">val</span> round</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">round b</code> is the smallest box containing <code class="code">b</code> with integer valued
      corners. Returns <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<pre><span id="VALmove"><span class="keyword">val</span> move</span> : <code class="type"><a href="Gg.html#TYPEv2">Gg.v2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">move d b</code> is <code class="code">b</code> translated by <code class="code">d</code>. Returns <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<pre><span id="VALltr"><span class="keyword">val</span> ltr</span> : <code class="type"><a href="Gg.html#TYPEm2">Gg.m2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">ltr m b</code> is the smallest box containing the corners of <code class="code">b</code> transformed
      by <code class="code">m</code>. Returns <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<pre><span id="VALtr"><span class="keyword">val</span> tr</span> : <code class="type"><a href="Gg.html#TYPEm3">Gg.m3</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">tr m b</code> is the smallest box containing the corners of <code class="code">b</code> transformed
      by <code class="code">m</code> in homogenous 2D space. Returns <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<pre><span id="VALmap_f"><span class="keyword">val</span> map_f</span> : <code class="type">(float -> float) -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a></code></pre><div class="info">
<code class="code">map_f f b</code> is the box whose origin and size are those of <code class="code">b</code> with
      their components mapped by <code class="code">f</code>. Returns <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> on <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<br>
<h1 id="1_Predicatesandcomparisons">Predicates and comparisons</h1><br>
<pre><span id="VALis_empty"><span class="keyword">val</span> is_empty</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">is_empty b</code> is <code class="code"><span class="keyword">true</span></code> iff <code class="code">b</code> is <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a>.<br>
</div>
<pre><span id="VALis_pt"><span class="keyword">val</span> is_pt</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">is_pt b</code> is <code class="code"><span class="keyword">true</span></code> iff <code class="code">b</code> is not <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> and its size is equal
      to 0 in every dimension.<br>
</div>
<pre><span id="VALis_seg"><span class="keyword">val</span> is_seg</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">is_seg b</code> is <code class="code"><span class="keyword">true</span></code> iff <code class="code">b</code> is not <a href="Gg.Box2.html#VALempty"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.empty</code></a> and its size is 
      equal to 0 in exactly one dimension.<br>
</div>
<pre><span id="VALisects"><span class="keyword">val</span> isects</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">isects b b'</code> is <code class="code">not (is_empty (inter b b'))</code>.<br>
</div>
<pre><span id="VALsubset"><span class="keyword">val</span> subset</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">subset b b'</code> is <code class="code"><span class="keyword">true</span></code> iff S(<code class="code">b</code>) is included in S(<code class="code">b'</code>).<br>
</div>
<pre><span id="VALmem"><span class="keyword">val</span> mem</span> : <code class="type"><a href="Gg.html#TYPEp2">Gg.p2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">mem p b</code> is <code class="code"><span class="keyword">true</span></code> iff <code class="code">p</code> is in S(<code class="code">b</code>).<br>
</div>
<pre><span id="VALequal"><span class="keyword">val</span> equal</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">equal b b'</code> is <code class="code">b = b'</code>.<br>
</div>
<pre><span id="VALequal_f"><span class="keyword">val</span> equal_f</span> : <code class="type">(float -> float -> bool) -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> bool</code></pre><div class="info">
<code class="code">equal_f eq b b'</code> tests <code class="code">b</code> and <code class="code">b'</code> like <a href="Gg.Box2.html#VALequal"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.equal</code></a>
      but uses <code class="code">eq</code> to test floating point values.<br>
</div>
<pre><span id="VALcompare"><span class="keyword">val</span> compare</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> int</code></pre><div class="info">
<code class="code">compare u v</code> is <code class="code"><span class="constructor">Pervasives</span>.compare u v</code>.<br>
</div>
<pre><span id="VALcompare_f"><span class="keyword">val</span> compare_f</span> : <code class="type">(float -> float -> int) -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> int</code></pre><div class="info">
<code class="code">compare_f cmp b b'</code> compares <code class="code">b</code> and <code class="code">b'</code> like <a href="Gg.Box2.html#VALcompare"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.compare</code></a>
      but uses <code class="code">cmp</code> to compare floating point values.<br>
</div>
<br>
<h1 id="printers">Printers</h1><br>
<pre><span id="VALto_string"><span class="keyword">val</span> to_string</span> : <code class="type"><a href="Gg.html#TYPEbox2">Gg.box2</a> -> string</code></pre><div class="info">
<code class="code">to_string b</code> is a textual representation of <code class="code">b</code>.<br>
</div>
<pre><span id="VALpp"><span class="keyword">val</span> pp</span> : <code class="type">Format.formatter -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> unit</code></pre><div class="info">
<code class="code">pp ppf b</code> prints a textual representation of <code class="code">b</code> on <code class="code">ppf</code>.<br>
</div>
<pre><span id="VALpp_f"><span class="keyword">val</span> pp_f</span> : <code class="type">(Format.formatter -> float -> unit) -> Format.formatter -> <a href="Gg.html#TYPEbox2">Gg.box2</a> -> unit</code></pre><div class="info">
<code class="code">pp_f pp_fl ppf b</code> prints <code class="code">b</code> like <a href="Gg.Box2.html#VALpp"><code class="code"><span class="constructor">Gg</span>.<span class="constructor">Box2</span>.pp</code></a> but uses 
      <code class="code">pp_fl</code> to print floating point values.<br>
</div>
</body></html>