Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package resp-server
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module Resp_serverSource
Source
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