Wp_gui.GuiPanel
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