Wtext.text ->
object
  method button :
    title:string -> callback:(unit -> unit) -> Format.formatter -> unit
  method get_focus_mode : bool
  method get_iformat : Plang.iformat
  method get_rformat : Plang.rformat
  method get_state_mode : bool
  method goal : Wpo.t -> Format.formatter -> unit
  method on_popup : (Widget.popup -> unit) -> unit
  method on_selection : (unit -> unit) -> unit
  method popup : unit
  method pp_pred : Lang.F.pred GuiSequent.printer
  method pp_selection : Tactical.selection GuiSequent.printer
  method pp_sequent : Conditions.sequent -> Format.formatter -> unit
  method pp_term : Lang.F.term GuiSequent.printer
  method reset : unit
  method restore : GuiSequent.target -> unit
  method selected : unit
  method selection : Tactical.selection
  method sequent : Conditions.sequent
  method set_focus_mode : bool -> unit
  method set_iformat : Plang.iformat -> unit
  method set_rformat : Plang.rformat -> unit
  method set_state_mode : bool -> unit
  method set_target : Tactical.selection -> unit
  method unselect : GuiSequent.target
end