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 :         Design.reactive_buffer ->         Pretty_source.localizable -> start:int -> stop:int -> unit       method set : Wpo.t option -> unit       method update : unit     end end