Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
package FPauth-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Module FPauth_core.RouterSource
Router is a module which contains handlers for authentication and creates routes for them.
Source
module Make
(M : Auth_sign.MODEL)
(A : Auth_sign.AUTHENTICATOR with type entity = M.t)
(V : Auth_sign.VARIABLES) :
Auth_sign.ROUTER with type entity = M.tMake creates an instance of Router with all its dependencies