FPauth_core.Authenticator
Authenticator
is module which provides functions both for authentication and logout
module Make
(M : Auth_sign.MODEL)
(V : Auth_sign.VARIABLES with type entity = M.t) :
Auth_sign.AUTHENTICATOR with type entity = M.t
Make
creates an instance of Auth_sign.AUTHENTICATOR
for a given model and variables