lambda function

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

Implementation

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