- print_justification_tree(:Tree) is det
- print_justification_tree(:Tree, +Options) is det
- Print the justification tree as returned by justification_tree/3 or
scasp_justification/2. The tree is printed to the current output
stream. Options:
- format(+Format)
- One of
unicode (default) or ascii.
- depth(+Integer)
- Initial indentation (0)
- indent(+Integer)
- Indent increment per level (3).
- full_stop(+Bool)
- End the tree with a full stop and newline. If
false,
it ends with the last atom.