updateTerm<A extends Expr> function

A updateTerm<A extends Expr>(
  1. A expr,
  2. Iterable<Expr> args
)

Updates the arguments of an App, Lambda, Exists, or Forall.

Implementation

A updateTerm<A extends Expr>(A expr, Iterable<Expr> args) =>
    currentContext.updateTerm(expr, args.toList());