public String toString() {
if ((rator instanceof Variable) || (rator instanceof PrimFun))
return rator + "(" + ToString.toString(args, ", ") + ")";
// return new StringBuilder(rator.toString()).append("(").append(ToString.toString(args,",
// ")).append(")").toString();
else return "(" + rator + ")(" + ToString.toString(args, ", ") + ")";
// new StringBuilder("(").append(rator).append(")(").append( ToString.toString(args,",
// ")).append(")").toString();
}
public String toString() {
return "{" + ToString.toString(exps, "; ") + "}";
}
public String toString() {
return "letrec " + ToString.toString(defs, " ") + " in " + body;
// return new StringBuilder("letrec ").append(ToString.toString(defs," ")).append(" in
// ").append(body).toString();
}
public String toString() {
return "map " + ToString.toString(vars, ",") + " to " + body;
// return new StringBuilder("map ").append(ToString.toString(vars, ",")).append(" to
// ").append(body).toString();
}