unit ->
object
  val mutable click : GuiSource.selection -> unit
  val mutable prove : GuiSource.selection -> unit
  method private add_rte :
    GMenu.menu GMenu.factory ->
    Design.main_window_extension_points ->
    string ->
    (Cil_types.kernel_function -> unit) Pervasives.ref ->
    Cil_types.kernel_function -> unit
  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
  method private rte_popup :
    GMenu.menu GMenu.factory ->
    Design.main_window_extension_points -> Pretty_source.localizable -> unit
  method private wp_popup :
    GMenu.menu GMenu.factory -> GuiSource.selection -> unit
end