<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 exceptions" rel=Appendix href="index_exceptions.html">
<link title="Index of values" rel=Appendix href="index_values.html">
<link title="Index of class attributes" rel=Appendix href="index_attributes.html">
<link title="Index of class methods" rel=Appendix href="index_methods.html">
<link title="Index of classes" rel=Appendix href="index_classes.html">
<link title="Index of class types" rel=Appendix href="index_class_types.html">
<link title="Index of modules" rel=Appendix href="index_modules.html">
<link title="LTerm" rel="Chapter" href="LTerm.html">
<link title="LTerm_key" rel="Chapter" href="LTerm_key.html">
<link title="LTerm_event" rel="Chapter" href="LTerm_event.html">
<link title="LTerm_unix" rel="Chapter" href="LTerm_unix.html">
<link title="LTerm_windows" rel="Chapter" href="LTerm_windows.html">
<link title="LTerm_style" rel="Chapter" href="LTerm_style.html">
<link title="LTerm_geom" rel="Chapter" href="LTerm_geom.html">
<link title="LTerm_draw" rel="Chapter" href="LTerm_draw.html">
<link title="LTerm_mouse" rel="Chapter" href="LTerm_mouse.html">
<link title="LTerm_widget" rel="Chapter" href="LTerm_widget.html">
<link title="LTerm_edit" rel="Chapter" href="LTerm_edit.html">
<link title="LTerm_read_line" rel="Chapter" href="LTerm_read_line.html">
<link title="LTerm_text" rel="Chapter" href="LTerm_text.html">
<link title="LTerm_ui" rel="Chapter" href="LTerm_ui.html">
<link title="LTerm_resources" rel="Chapter" href="LTerm_resources.html">
<link title="LTerm_inputrc" rel="Chapter" href="LTerm_inputrc.html">
<link title="LTerm_history" rel="Chapter" href="LTerm_history.html"><title>LTerm_geom</title>
</head>
<body>
<code class="code"><span class="keyword">sig</span><br>
<span class="keyword">type</span> size = { rows : int; cols : int; }<br>
<span class="keyword">val</span> rows : <span class="constructor">LTerm_geom</span>.size <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> cols : <span class="constructor">LTerm_geom</span>.size <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> string_of_size : <span class="constructor">LTerm_geom</span>.size <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> coord = { row : int; col : int; }<br>
<span class="keyword">val</span> row : <span class="constructor">LTerm_geom</span>.coord <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> col : <span class="constructor">LTerm_geom</span>.coord <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> string_of_coord : <span class="constructor">LTerm_geom</span>.coord <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> rect = { row1 : int; col1 : int; row2 : int; col2 : int; }<br>
<span class="keyword">val</span> row1 : <span class="constructor">LTerm_geom</span>.rect <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> col1 : <span class="constructor">LTerm_geom</span>.rect <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> row2 : <span class="constructor">LTerm_geom</span>.rect <span class="keywordsign">-></span> int<br>
<span class="keyword">val</span> size_of_rect : <span class="constructor">LTerm_geom</span>.rect <span class="keywordsign">-></span> <span class="constructor">LTerm_geom</span>.size<br>
<span class="keyword">val</span> string_of_rect : <span class="constructor">LTerm_geom</span>.rect <span class="keywordsign">-></span> string<br>
<span class="keyword">type</span> horz_alignment = <span class="constructor">H_align_left</span> <span class="keywordsign">|</span> <span class="constructor">H_align_center</span> <span class="keywordsign">|</span> <span class="constructor">H_align_right</span><br>
<span class="keyword">type</span> vert_alignment = <span class="constructor">V_align_top</span> <span class="keywordsign">|</span> <span class="constructor">V_align_center</span> <span class="keywordsign">|</span> <span class="constructor">V_align_bottom</span><br>
<span class="keyword">end</span></code></body></html>
