sig
  type env = Plang.Env.t
  type 'a printer = 'Qed.Plib.printer
  type target
  class focused :
    Wtext.text ->
    object
      method button :
        title:string -> callback:(unit -> unit) -> Format.formatter -> unit
      method get_focus_mode : bool
      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_state_mode : bool -> unit
      method set_target : Tactical.selection -> unit
      method unselect : GuiSequent.target
    end
end