Member predicate Annotatable::hasAnnotation

Holds if this element has the specified annotation.

predicate hasAnnotation(string package, string name)