Design.main_window_extension_points ->
object
  val mutable current : Wpo.t option
  val mutable deps : DEPS.t
  val mutable effect : (Cil_datatype.Stmt.t * WpPropId.effect_source) option
  val mutable goal : Property.t option
  val mutable path : PATH.t
  method private clear : unit
  method highlight :
    GSourceView2.source_buffer ->
    Pretty_source.localizable -> start:int -> stop:int -> unit
  method private scroll : unit -> unit
  method set : Wpo.t option -> unit
  method update : unit
end