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 ->
       (Why3.Task.task ->
        Why3.Pretty.any_pp Why3.Pp.pp -> Why3.Pretty.any_pp Why3.Pp.pp) ->
       unit

val set_partial_config : Why3.Whyconf.config -> unit

module Make: functor (* : sig

end) -> functor (* : sig

end) -> sig .. end