;</code></h3><div class="doc"><p></p></div></div><div class="field "><a name="width"></a><h3 class="anchor"><code><a href="#width"><span class="identifier">width</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></div></div></div></div><footer class="section site-footer" style="background:#FAFAFA"><div class="container"><div class="copyright"><p style="color:#000000">This documentation is generated for version 0.2.