lambdaIndexed function

Lambda lambdaIndexed(
  1. Map<String, Sort> args,
  2. Expr body
)

Creates a Lambda quantifier, like lambda but arguments must manually de-Bruijn indexed.

Implementation

Lambda lambdaIndexed(Map<String, Sort> args, Expr body) =>
    Lambda(args.map((key, value) => MapEntry(Sym(key), value)), body).declare();