if (ntyp instanceof Type.Void) {
return "v";
}
if (ntyp instanceof Type.Compound) {
Type.Compound compound = (Type.Compound) ntyp;
Automaton automaton = compound.automaton;
return writeTypeCompound(automaton);
}
if (ntyp instanceof Type.Nominal) {
return "N"; // **** need to fix; had nid