public void VisitSynonym(TypeSynonym t)
{
foreach (var typeParameter in t.TypeParameters)
{
typeParameter.AcceptVisitor(this);
}
}
//////////////////////////////////////////////////////////////////////////
//////////////////////////////////////////////////////////////////////////
private void dumpTypeSynonym(TypeSynonym ts)
{
string rep = ts.name;
foreach (var tp in ts.typeParameters)
{
rep += " " + tp.name;
}
rep += " = " + toBoogie(ts.type);
file.WriteLine("type {0};", rep);
}
