<!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=iso-8859-1" http-equiv="Content-Type"> <link rel="Start" href="index.html"> <link rel="next" href="Curses.A.html"> <link rel="Up" href="Curses.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="Curses" rel="Chapter" href="Curses.html"><title>Curses.Acs</title> </head> <body> <div class="navbar"> <a href="Curses.html">Up</a> <a href="Curses.A.html">Next</a> </div> <center><h1>Module <a href="type_Curses.Acs.html">Curses.Acs</a></h1></center> <br> <pre><span class="keyword">module</span> Acs: <code class="code">sig</code> <a href="Curses.Acs.html">..</a> <code class="code">end</code></pre>Predefined characters.<br> <hr width="100%"> <br><code><span class="keyword">type</span> <a name="TYPEacs"></a><code class="type"></code>acs = {</code><table class="typetable"> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>ulcorner : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Upper left-hand corner (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>llcorner : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Lower left-hand corner (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>urcorner : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Upper right-hand corner (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>lrcorner : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Lower right-hand corner (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>ltee : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Left tee (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>rtee : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Tight tee (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>btee : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>ttee : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>hline : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Horizontal line (-).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>vline : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Vertical line (|).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>plus : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Plus (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>s1 : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Scan line 1 (-).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>s9 : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Scan line 9 (_).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>diamond : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Diamond (+).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>ckboard : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>degree : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Degree symbol (').</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>plminus : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Plus/minus (#).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>bullet : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>larrow : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Arrow pointing left (<).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>rarrow : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Arrow pointing right (>).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>darrow : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>uarrow : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Arrow pointing up (^).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>board : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>lantern : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>block : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Solid square block (#).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>s3 : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Scan line 3 (-).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>s7 : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Scan line 7 (-).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>lequal : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Less-than-or-equal-to (<).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>gequal : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Greater-or-equal-to (>).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>pi : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Greek pi ( * ).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>nequal : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Not-equal (!).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr> <tr> <td align="left" valign="top" > <code> </code></td> <td align="left" valign="top" > <code>sterling : <code class="type"><a href="Curses.html#TYPEchtype">Curses.chtype</a></code>;</code></td> <td class="typefieldcomment" align="left" valign="top" ><code>(*</code></td><td class="typefieldcomment" align="left" valign="top" >Pound-Sterling symbol (f).</td><td class="typefieldcomment" align="left" valign="bottom" ><code>*)</code></td> </tr></table> } <pre><span class="keyword">val</span> <a name="VALbssb"></a>bssb : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALssbb"></a>ssbb : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALbbss"></a>bbss : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALsbbs"></a>sbbs : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALsbss"></a>sbss : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALsssb"></a>sssb : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALssbs"></a>ssbs : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALbsss"></a>bsss : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALbsbs"></a>bsbs : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALsbsb"></a>sbsb : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre><pre><span class="keyword">val</span> <a name="VALssss"></a>ssss : <code class="type"><a href="Curses.Acs.html#TYPEacs">acs</a> -> <a href="Curses.html#TYPEchtype">Curses.chtype</a></code></pre></body></html>