Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package FPauth-core
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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