internal static void typerefs(this TextWriter trapFile, NamedTypeRef type, string name) { trapFile.WriteTuple("typerefs", type, name); }
internal static Tuple typerefs(NamedTypeRef type, string name) => new Tuple("typerefs", type, name);
internal static void typeref_type(this TextWriter trapFile, NamedTypeRef typeref, Type type) { trapFile.WriteTuple("typeref_type", typeref, type); }
internal static Tuple typeref_type(NamedTypeRef typeref, Type type) => new Tuple("typeref_type", typeref, type);