private IForm ParseExportForm()
{
this.ParseToken(TokenType.Separator, "(");
this.ParseToken(TokenType.Separator, "[");
IList<string> names = new List<string>();
if (!this.TryParseToken(TokenType.Separator, "]"))
while (true)
{
string name = this.ParseAtom();
this.ParseToken(TokenType.Operator, "/");
int arity = this.ParseInteger();
names.Add(string.Format("{0}/{1}", name, arity));
if (!this.TryParseToken(TokenType.Separator, ","))
break;
}
this.ParseToken(TokenType.Separator, "]");
this.ParseToken(TokenType.Separator, ")");
this.ParsePoint();
return new ExportForm(names);
}