sig
val update : unit -> unit
val on_update : (unit -> unit) -> unit
val reload : unit -> unit
val on_reload : (unit -> unit) -> unit
val run_and_prove :
Design.main_window_extension_points -> GuiSource.selection -> unit
val register :
main:Design.main_window_extension_points ->
available_provers:GuiConfig.provers ->
enabled_provers:GuiConfig.provers ->
configure_provers:(unit -> unit) -> unit
end