Frama-C API - pseq
method update_ce_models : Wp__.Wpo.t -> unit
method get_ce_mode : bool
method set_ce_mode : bool -> unit
method get_focus_mode : bool
method set_focus_mode : bool -> unit
method get_state_mode : bool
method set_state_mode : bool -> unit
method set_unmangled : bool -> unit
method resolve : target -> Wp__.Tactical.selection
method on_selection : (unit -> unit) -> unit
method sequent : Wp__.Conditions.sequent
method selection : Wp__.Tactical.selection
method set_selection : Wp__.Tactical.selection -> unit
method highlight : Wp__.Tactical.selection -> unit
method pp_selection : Wp__.Tactical.selection printer
method pp_sequent : Wp__.Conditions.sequent printer
method pp_goal : Wp__.Wpo.t printer