ProofTree

Functions on proof trees.

Definitions

def toString(p: ProofTree[r], indentChild: Int32): String \ r§ Source

Returns a string representation of the proof tree p, indented by indentChild spaces.