public override string VisitTermTuple(TermTuple t)
{
var res = VisitList(t.Terms);
return(H.Parenthesis(H.CommaAggregate(res)));
}
public override string VisitTermRecord(TermRecord t)
{
var res = t.Mapping.Select(tuple => tuple.Item1 + " = " + Visit(tuple.Item2));
return("(|" + H.CommaAggregate(res.ToList()) + "|)");
}
public override string VisitTermSet(TermSet t)
{
var rArgs = t.Elements.Select(Visit).ToList();
return(H.CurlyBrackets(H.CommaAggregate(rArgs)));
}
public override string VisitTermList(TermList t)
{
var rArgs = VisitList(t.List);
return(H.Brackets(H.CommaAggregate(rArgs)));
}