Module Wp_gui.GuiPanel

val update : unit -> unit
val on_update : ( unit -> unit ) -> unit
val reload : unit -> unit
val on_reload : ( unit -> unit ) -> unit
val register : main:Frama_c_gui.Design.main_window_extension_points -> configure_provers:( unit -> unit ) -> unit