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.Session_managerSource
Session_manager contains
Source
module Make
(M : Auth_sign.MODEL)
(V : Auth_sign.VARIABLES with type entity = M.t) :
Auth_sign.SESSIONMANAGER with type entity = M.tMake is a functor for creating modules of middlewares for various entities matching Auth.MODEL