public override void PrettyPrint(StringBuilder sb) { sb.Append("enum "); name.PrettyPrint(sb); sb.Append(" {"); for (int i = 0; i < elems.Count; i++) { sb.Append(elems[i]); if (i < elems.Count - 1) sb.Append(", "); } sb.Append("}"); }