sig
  type selection =
      S_none
    | S_fun of Kernel_function.t
    | S_prop of Property.t
    | S_call of GuiSource.call
  and call = {
    s_caller : Kernel_function.t;
    s_called : Kernel_function.t;
    s_stmt : Cil_types.stmt;
  }
  class popup :
    unit ->
    object
      method on_click : (GuiSource.selection -> unit) -> unit
      method on_prove : (GuiSource.selection -> unit) -> unit
      method register :
        GMenu.menu GMenu.factory ->
        Design.main_window_extension_points ->
        button:int -> Pretty_source.localizable -> unit
    end
  class highlighter :
    Design.main_window_extension_points ->
    object
      method highlight :
        GSourceView2.source_buffer ->
        Pretty_source.localizable -> start:int -> stop:int -> unit
      method set : Wpo.t option -> unit
      method update : unit
    end
end