Predicate Annotations::getChild
Gets the i
th 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 csharp
TypeAnnotations getChild(TypeAnnotations annotations, int i)