For the given module, return true if this module's member has the given UDA. UDAs can be types or values.
See Implementation
For the given module, return true if this module's member has the given UDA. UDAs can be types or values.