module GuiPanel: sig
.. end
exception Stop
val update_callback : (unit -> unit) Pervasives.ref
val on_update : (unit -> unit) -> unit
val update : unit -> unit
val reload_callback : (unit -> unit) Pervasives.ref
val on_reload : (unit -> unit) -> unit
val reload : unit -> unit
module Rte_generated: Kernel_function.Make_Table
(
Datatype.Unit
)
(
sig
val name : string
val size : int
val dependencies : State.t list
end
)
val kf_of_selection : GuiSource.selection -> Kernel_function.t option
val rte_generated : GuiSource.selection -> bool
val run_and_prove : Design.main_window_extension_points -> GuiSource.selection -> unit
type
memory =
class model_selector : Design.main_window_extension_points ->
object
.. end
val wp_dir : string Pervasives.ref
val wp_script : unit -> unit
val wp_update_model : < set_text : string -> 'a; .. > -> unit -> 'a
val wp_configure_model : Design.main_window_extension_points ->
< set_text : string -> 'a; .. > -> unit -> 'a
val wp_update_script : < set_text : string -> 'a; .. > -> unit -> 'a
val wp_panel : main:Design.main_window_extension_points ->
available_provers:GuiConfig.provers ->
enabled_provers:GuiConfig.provers ->
configure_provers:(unit -> unit) ->
string * GObj.widget * (unit -> unit) option
val register : main:< register_panel : (Design.main_window_extension_points ->
string * GObj.widget * (unit -> unit) option) ->
'a;
.. > ->
available_provers:GuiConfig.provers ->
enabled_provers:GuiConfig.provers -> configure_provers:(unit -> unit) -> 'a