substituteVars<A extends Expr> function

A substituteVars<A extends Expr>(
  1. Expr expr,
  2. Iterable<Expr> to
)

Substitute BoundVars in expr with the expressions in to.

Implementation

A substituteVars<A extends Expr>(Expr expr, Iterable<Expr> to) =>
    currentContext.substituteVars(expr, to.toList()) as A;