protected abstract TRet ApplyImpl <TRet>(ITlaExprVisitor <TRet> visitor);
protected override TRet ApplyImpl <TRet>(ITlaExprVisitor <TRet> visitor) { return(visitor.VisitVar(this)); }
public TRet Apply <TRet>(ITlaExprVisitor <TRet> visitor) { return(this.ApplyImpl(visitor)); }