Predicate Annotations::getChild
Gets the ith child of type annotations annotations.
This is used to represent structured datatypes, where the structure
of the type annotation mirrors the structure of the annotated type.
Import path
import semmle.code.csharp.AnnotatedTypeTypeAnnotations getChild(TypeAnnotations annotations, int i)