lambda function

Lambda lambda(
  1. Iterable<ConstVar> args,
  2. Expr body
)

Creates a Lambda quantifier.

Implementation

Lambda lambda(Iterable<ConstVar> args, Expr body) =>
    currentContext.lambdaConst(args.toList(), body).declare();