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 : Format.formatter -> ProofEngine.tree -> unit
      method pp_node : Format.formatter -> ProofEngine.node -> unit
      method status : ProofEngine.tree -> unit
      method tree : ProofEngine.tree -> unit
    end
end