The type "UserDatabase" is defined in
/pliant/fullpliant/user.pli
module.
Field
Type
user
(Set User)
Method name
Arguments
Result
user
(/pliant/fullpliant/user.pli)
Name
Type
UserDatabase
(Set User)
Access
Ar
AwmC