A | |
atom_param [Easy_format] | |
E | |
escape [Easy_format] | |
L | |
label_param [Easy_format] |
Label-formatting parameters.
|
list_param [Easy_format] |
List-formatting parameters.
|
S | |
style [Easy_format] |
Pair of opening and closing tags that are inserted around
text after pretty-printing.
|
style_name [Easy_format] | |
styles [Easy_format] | |
T | |
t [Easy_format] |
The type of the tree to be pretty-printed.
|
W | |
wrap [Easy_format] |
List wrapping conditions:
`Wrap_atoms : wrap if the list contains only atoms, `Always_wrap : always wrap when needed, `Never_wrap : never wrap,
i.e. the list is either horizontal or vertical, `Force_breaks : align vertically,
i.e. always break line between list items and
align the left edge of each item., `No_breaks : align horizontally,
i.e. never break line between list items
|