Resp_servermodule type SERVER = sig ... endmodule type AUTH = sig ... endmodule type DATA = sig ... endmodule Auth : sig ... endmodule type S = sig ... endmodule 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