internal static void type_annotation(this TextWriter trapFile, IEntity element, Kinds.TypeAnnotation annotation) { trapFile.WriteTuple("type_annotation", element, (int)annotation); }
public AnnotatedType(Type t, Kinds.TypeAnnotation a) { Type = t; Annotation = a; }
internal static Tuple type_argument_annotation(IEntity element, int index, Kinds.TypeAnnotation annotation) => new Tuple("type_argument_annotation", element, index, (int)annotation);