Module Wp_gui


module Wp_gui: sig .. end

val get_kf_stmt_opt : Pretty_source.localizable ->
(Db_types.kernel_function * Cil_types.stmt * Cil_types.code_annotation option)
option
val get_annot_opt : 'a -> 'b option
module V: ViewGraph_select.VG(ViewGraph.EmptyCb)
val show_cfg : Design.main_window_extension_points -> bool -> Kernel_function.t -> unit
exception Stop
val run_and_prove : Design.main_window_extension_points -> Kernel_function.t option -> unit
val selector : GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit
val gui_set_wp_model : Design.main_window_extension_points -> Wp_parameters.Model.t -> unit
val gui_set_wp_bottom : Design.main_window_extension_points -> Wp_parameters.Bottom.t -> unit
val wp_panel : Design.main_window_extension_points ->
string * GObj.widget * (unit -> unit) option
val main : < register_panel : (Design.main_window_extension_points ->
string * GObj.widget * (unit -> unit) option) ->
'a;
register_source_selector : (GMenu.menu GMenu.factory ->
Design.main_window_extension_points ->
button:int -> Pretty_source.localizable -> unit) ->
'b;
.. > ->
'a