sig
  module type Protocol =
    sig
      val get_requests : unit -> Itp_communication.ide_request list
      val notify : Itp_communication.notification -> unit
    end
  val add_registered_lang :
    string ->
    (Task.task -> Pretty.any_pp Pp.pp -> Pretty.any_pp Pp.pp) -> unit
  val set_partial_config : Whyconf.config -> unit
  module Make :
    Controller_itp.Scheduler -> Protocol ->
      sig
        val focus_on_loading : (Task.task -> bool) -> unit
        val init_server :
          ?send_source:bool -> Whyconf.config -> Env.env -> string -> unit
      end
end