public override void Write(HighFileBuilder highFileBuilder, BinaryWriter catalogWriter)
{
uint typeName = highFileBuilder.IndexTypeNameTag(m_typeNameTag);
List<uint> argTypes = new List<uint>();
foreach (TypeSpecTag typeTag in m_argTypes)
argTypes.Add(highFileBuilder.IndexTypeSpecTag(typeTag));
catalogWriter.Write((byte)SubTypeCode.Class);
catalogWriter.Write(typeName);
foreach (uint argType in argTypes)
catalogWriter.Write(argType);
}
