public override Formula Visit(ReturnFormula formula) { IncreaseIfNecessary(formula.Body, _ => _.TypeDeclaration, increased => formula.Body = increased); return base.Visit(formula); }
public Formula Visit(ReturnFormula formula) { return formula; }
public virtual Formula Visit(ReturnFormula formula) { Visit((Formula)formula); if (formula.Body != null) formula.Body.Accept(this); return visitor.Visit(formula); }