package FPauth-core
VARIABLES is a module which inits and holds field variables for authentication
module Make (M : Auth_sign.MODEL) : Auth_sign.VARIABLES with type entity = M.tMake creates an instance of Auth_sign.VARIABLES for a given model
VARIABLES is a module which inits and holds field variables for authentication
module Make (M : Auth_sign.MODEL) : Auth_sign.VARIABLES with type entity = M.tMake creates an instance of Auth_sign.VARIABLES for a given model