TypeIndex TypeTableBuilder::writeRecord(TypeRecordBuilder &Builder) { TypeIndex I = writeRecord(Builder.str()); RecordKinds.push_back(Builder.kind()); return I; }