substituteFuncs<A extends Expr> function

A substituteFuncs<A extends Expr>(
  1. Expr expr,
  2. Map<FuncDecl, Expr> substitutions
)

Substitute the arguments to FuncDecls in expr with the expressions in to.

Implementation

A substituteFuncs<A extends Expr>(
  Expr expr,
  Map<FuncDecl, Expr> substitutions,
) =>
    currentContext.substituteFuncs(expr, substitutions) as A;