><a href="#max_y"><span class="identifier">max_y</span></a>:<a class="type" title="Int - The standard Int type." href="../../Int.html">Int</a></code></h3><div class="doc"><p></p></div></div><div class="field "><a name="max_x"></a><h3 class="anchor"><code><a href="#max_x"><span class="identifier">max_x</span></a>:<a class="type" title="Int - The standard Int type." href="../../Int.html">Int</a></code></h3><div class="doc"><p></p></div></div><div class="field "><a name="char_code"></a><h3 class="anchor"><code