internal string NameString()
{
string parString = "(";
if (numPars > 0) {
parString += parTypes[0].NameString();
for (int i=1; i < numPars; i++) {
parString += "," + parTypes[i].NameString();
}
}
if (numOptPars > 0) {
if (numPars > 0) parString += ",";
parString += optParTypes[0].NameString();
for (int i=1; i < numOptPars; i++) {
parString += "," + optParTypes[i].NameString();
}
}
return name + parString + ")";
}