Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Make.ServerSourcemodule Make
(Auth : Resp_server.AUTH)
(Data : Resp_server.DATA) :
Resp_server.S
with module Auth = Auth
and type ic = Reader.ic
and type oc = Writer.oc
and type server = C.t * Conduit_mirage.server
and type data = Data.data
and type Client.t = Data.Client.t