<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="Easy_format" rel="Chapter" href="Easy_format.html"><title>Index of types</title>
</head>
<body>
<div class="navbar"> <a class="up" href="index.html" title="Index">Up</a>
</div>
<h1>Index of types</h1>
<table>
<tr><td align="left"><br>A</td></tr>
<tr><td><a href="Easy_format.html#TYPEatom_param">atom_param</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td></td></tr>
<tr><td align="left"><br>E</td></tr>
<tr><td><a href="Easy_format.html#TYPEescape">escape</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td></td></tr>
<tr><td align="left"><br>L</td></tr>
<tr><td><a href="Easy_format.html#TYPElabel_param">label_param</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td><div class="info">
Label-formatting parameters.
</div>
</td></tr>
<tr><td><a href="Easy_format.html#TYPElist_param">list_param</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td><div class="info">
List-formatting parameters.
</div>
</td></tr>
<tr><td align="left"><br>S</td></tr>
<tr><td><a href="Easy_format.html#TYPEstyle">style</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td><div class="info">
Pair of opening and closing tags that are inserted around
text after pretty-printing.
</div>
</td></tr>
<tr><td><a href="Easy_format.html#TYPEstyle_name">style_name</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td></td></tr>
<tr><td><a href="Easy_format.html#TYPEstyles">styles</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td></td></tr>
<tr><td align="left"><br>T</td></tr>
<tr><td><a href="Easy_format.html#TYPEt">t</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td><div class="info">
The type of the tree to be pretty-printed.
</div>
</td></tr>
<tr><td align="left"><br>W</td></tr>
<tr><td><a href="Easy_format.html#TYPEwrap">wrap</a> [<a href="Easy_format.html">Easy_format</a>]</td>
<td><div class="info">
List wrapping conditions: <code class="code">`Wrap_atoms</code>: wrap if the list contains only atoms, <code class="code">`Always_wrap</code>: always wrap when needed, <code class="code">`Never_wrap</code>: never wrap,
i.e. the list is either horizontal or vertical, <code class="code">`Force_breaks</code>: align vertically,
i.e. always break line between list items and
align the left edge of each item., <code class="code">`No_breaks</code>: align horizontally,
i.e. never break line between list items
</div>
</td></tr>
</table>
</body>
</html>
