Wtext.text ->
object
method button :
title:string ->
callback:(unit -> unit) -> Stdlib.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 -> Stdlib.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 -> Stdlib.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