Variables.MakeMake creates an instance of Auth_sign.VARIABLES for a given model
module M : Auth_sign.MODELtype entity = M.ttype entity is a type of authenticatable entity equal to MODEL.t
authenticated is a variable valid for a single request, indicates if authentication has been previously completed. Should be set in SESSIONMANAGER.auth_setup
val current_user : entity Dream.fieldcurrent_user is a variable valid for a single request, holds an authenticated entity from a session. Should be set in SESSIONMANAGER.auth_setup
auth_error is a field with error which occured during any stage of authentication
val update_current_user : entity -> Dream.request -> Base.unit Dream.promiseupdate_current_user user request updates current_user and session.