public override string ToString() { return("<" + Left.ToString() + ", " + Right.ToString() + ">"); }
public override string ToString() { return("Rec(" + Input.ToString() + ", " + Start.ToString() + ", " + NumVariableName + "." + AccVariableName + " : " + AccType.ToString() + ". " + Step.ToString() + ")"); }
public override string ToString() { return(OpType.ToString() + " " + VariableName + " : " + VariableType.ToString() + ". " + Expr.ToString()); }
public override string ToString() { return("App(" + Lambda.ToString() + ", " + Expression.ToString() + ")"); }
public override string ToString() { return(OpType.ToString() + "(" + Left.ToString() + ", " + Right.ToString() + ")"); }
public override string ToString() { return(OpType.ToString() + "(" + Expr.ToString() + ")"); }
public override string ToString() { var ctx = String.Join(", ", from elem in Context select elem.Key + " : " + elem.Value.ToString()); return(ctx + " |- " + Expression.ToString()); }