module Make: functor (* : sigend) -> functor (* : sigend) -> sig .. end
functor (
*
:
sig
end) -> functor (* : sigend) -> sig .. end
end
) ->
end) -> sig .. end
Why3.Controller_itp.Scheduler
Protocol
val focus_on_loading : (Why3.Task.task -> bool) -> unit
(Why3.Task.task -> bool) -> unit
val init_server : ?send_source:bool -> Why3.Whyconf.config -> Why3.Env.env -> string -> unit
?send_source:bool -> Why3.Whyconf.config -> Why3.Env.env -> string -> unit