<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 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> <code class="code"><span class="keyword">sig</span><br> <span class="keyword">type</span> acs = {<br> ulcorner : <span class="constructor">Curses</span>.chtype;<br> llcorner : <span class="constructor">Curses</span>.chtype;<br> urcorner : <span class="constructor">Curses</span>.chtype;<br> lrcorner : <span class="constructor">Curses</span>.chtype;<br> ltee : <span class="constructor">Curses</span>.chtype;<br> rtee : <span class="constructor">Curses</span>.chtype;<br> btee : <span class="constructor">Curses</span>.chtype;<br> ttee : <span class="constructor">Curses</span>.chtype;<br> hline : <span class="constructor">Curses</span>.chtype;<br> vline : <span class="constructor">Curses</span>.chtype;<br> plus : <span class="constructor">Curses</span>.chtype;<br> s1 : <span class="constructor">Curses</span>.chtype;<br> s9 : <span class="constructor">Curses</span>.chtype;<br> diamond : <span class="constructor">Curses</span>.chtype;<br> ckboard : <span class="constructor">Curses</span>.chtype;<br> degree : <span class="constructor">Curses</span>.chtype;<br> plminus : <span class="constructor">Curses</span>.chtype;<br> bullet : <span class="constructor">Curses</span>.chtype;<br> larrow : <span class="constructor">Curses</span>.chtype;<br> rarrow : <span class="constructor">Curses</span>.chtype;<br> darrow : <span class="constructor">Curses</span>.chtype;<br> uarrow : <span class="constructor">Curses</span>.chtype;<br> board : <span class="constructor">Curses</span>.chtype;<br> lantern : <span class="constructor">Curses</span>.chtype;<br> block : <span class="constructor">Curses</span>.chtype;<br> s3 : <span class="constructor">Curses</span>.chtype;<br> s7 : <span class="constructor">Curses</span>.chtype;<br> lequal : <span class="constructor">Curses</span>.chtype;<br> gequal : <span class="constructor">Curses</span>.chtype;<br> pi : <span class="constructor">Curses</span>.chtype;<br> nequal : <span class="constructor">Curses</span>.chtype;<br> sterling : <span class="constructor">Curses</span>.chtype;<br> }<br> <span class="keyword">val</span> bssb : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> ssbb : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> bbss : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> sbbs : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> sbss : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> sssb : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> ssbs : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> bsss : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> bsbs : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> sbsb : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">val</span> ssss : <span class="constructor">Curses</span>.<span class="constructor">Acs</span>.acs <span class="keywordsign">-></span> <span class="constructor">Curses</span>.chtype<br> <span class="keyword">end</span></code></body></html>