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 (* : sig

end) -> functor (* : sig

end) -> sig .. end