Module Resp_server

module type SERVER = sig ... end
module type AUTH = sig ... end
module type DATA = sig ... end
module Auth : sig ... end
module type S = sig ... end
module Make (Server : SERVER) (Auth : AUTH) (Value : Resp.S with type Reader.ic = Server.ic and type Writer.oc = Server.oc) : S with type server = Server.server and module Auth = Auth and type ic = Server.ic and type oc = Server.oc and module Value = Value and type data = Server.data and type Client.t = Server.Client.t