Module GuiSource

module GuiSource: sig .. end

type selection = 
| S_none
| S_fun of Kernel_function.t
| S_prop of Property.t
| S_call of call
type call = {
   s_caller : Kernel_function.t;
   s_called : Kernel_function.t;
   s_stmt : Cil_types.stmt;
}
class popup : unit -> object .. end
class highlighter : Design.main_window_extension_points -> object .. end