sig
class printer :
Wtext.text ->
object
method on_backtrack : (ProofEngine.node -> unit) -> unit
method on_click : (ProofEngine.position -> unit) -> unit
method pending : ProofEngine.node -> unit
method pp_main : Stdlib.Format.formatter -> ProofEngine.tree -> unit
method pp_node : Stdlib.Format.formatter -> ProofEngine.node -> unit
method status : ProofEngine.tree -> unit
method tree : ProofEngine.tree -> unit
end
end