Functor Itp_server.Make

module Make: 
functor (* : sig
end) -> 
functor (* : sig
end) -> sig .. end
Parameters:
* : Controller_itp.Scheduler
* : Protocol

val focus_on_loading : (Task.task -> bool) -> unit
val init_server : ?send_source:bool -> Whyconf.config -> Env.env -> string -> unit