lambdaConst method

Lambda lambdaConst(List<ConstVar> args, Expr body)

Creates a Lambda quantifier.

Implementation

Lambda lambdaConst(List<ConstVar> args, Expr body) {
  final argsPtr = calloc<Z3_app>(args.length);
  try {
    for (var i = 0; i < args.length; i++) {
      argsPtr[i] = _createAST(args[i]).cast();
    }
    final result = _z3.mk_lambda_const(
      args.length,
      argsPtr,
      _createAST(body),
    );
    return _getExpr(result) as Lambda;
  } finally {
    malloc.free(argsPtr);
  }
}