focused (frama-c-wp.Wp_gui.GuiSequent.focused)

method reset : unit

method get_focus_mode : bool

method set_focus_mode : bool -> unit

method get_state_mode : bool

method set_state_mode : bool -> unit

method get_iformat : Wp.Plang.iformat

method set_iformat : Wp.Plang.iformat -> unit

method get_rformat : Wp.Plang.rformat

method set_rformat : Wp.Plang.rformat -> unit

method selected : unit

method unselect : target

method restore : target -> unit

method on_selection : ( unit -> unit ) -> unit

method sequent : Wp.Conditions.sequent

method selection : Wp.Tactical.selection

method set_target : Wp.Tactical.selection -> unit

method popup : unit

method on_popup : ( Frama_c_gui.Widget.popup -> unit ) -> unit

method pp_term : Wp.Lang.F.term printer

method pp_pred : Wp.Lang.F.pred printer

method pp_selection : Wp.Tactical.selection printer

method pp_sequent : Wp.Conditions.sequent -> Stdlib.Format.formatter -> unit

method goal : Wp.Wpo.t -> Stdlib.Format.formatter -> unit

method button : title:string ->
  callback:( unit -> unit ) ->
  Stdlib.Format.formatter ->
  unit