GuiPanel (frama-c-wp.Wp

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