EzSession.MakeMain functor that produces definition for authentication services and encodings for types used by service's input, output and errors.
module S : TYPES.SessionArgtype nonrec auth = (S.user_id, S.user_info) TYPES.authmodule Encoding : sig ... endEncodings for data types used in server's requests/responses and for error cases that could be raised by one of them.
module Service : sig ... endDefinition for services and their security's configuration.