FPauth_core.Make_AuthMake_Auth creates a module based on Auth_sign.MODEL. Provides local variables, middlewares and authenticator to run authentication strategies.
module M : Auth_sign.MODELmodule Variables : Auth_sign.VARIABLES with type entity = M.tVariables contains types, functions and local variables based on Auth_sign.MODEL.
module Session_manager : Auth_sign.SESSIONMANAGER with type entity = M.tSessionManager is a module that sets local variables from session for every request via Auth_sign.SESSIONMANAGER.auth_setup middleware
module Authenticator : Auth_sign.AUTHENTICATOR with type entity = M.tAuthenticator contains functions for running FPauth.Auth_sign.STRATEGY list and performing logouts
module Router : Auth_sign.ROUTER with type entity = M.tRouter creates routes, needed for authentication. Contains some basic handlers and joins them with routes from strategies.