Predicate Annotations::elementTypeAnnotations
Holds if the type annotations annotations
apply to type type
on element element
.
Import path
import csharp
predicate elementTypeAnnotations(@has_type_annotation element, Type type, TypeAnnotations annotations)