Module Itp_server

module Itp_server: sig .. end

Server for a client/server communication with an external graphical interface


module type Protocol = sig .. 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: 
functor (_ : Controller_itp.Scheduler) ->
functor (_ : Protocol) -> sig .. end