Frama-C API - `GuiPanel`

val update : unit -> unit

val on_update : (unit -> unit) -> unit

val reload : unit -> unit

val on_reload : (unit -> unit) -> unit

val run_and_prove : Frama_c_gui.Design.main_window_extension_points -> GuiConfig.provers -> GuiSource.selection -> unit

val register : main:Frama_c_gui.Design.main_window_extension_points -> configure_provers:(unit -> unit) -> unit

Frama-C API - GuiPanel