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