This member is added by an implicit conversion from TreeLikeOps[Proof] to
any2stringadd[TreeLikeOps[Proof]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from TreeLikeOps[Proof] to
ArrowAssoc[TreeLikeOps[Proof]] performed by method ArrowAssoc in scala.Predef.
Iterate over all sub-proofs including this in post-order.
defformatted(fmtstr: String): String
Implicit information
This member is added by an implicit conversion from TreeLikeOps[Proof] to
StringFormat[TreeLikeOps[Proof]] performed by method StringFormat in scala.Predef.
This member is added by an implicit conversion from TreeLikeOps[Proof] to
ArrowAssoc[TreeLikeOps[Proof]] performed by method ArrowAssoc in scala.Predef.