updateTerm method
Implementation
AST updateTerm(AST ast, List<AST> args) {
final argsPtr = calloc<Z3_ast>(args.length);
try {
for (var i = 0; i < args.length; i++) {
argsPtr[i] = _createAST(args[i]);
}
final result = _z3.update_term(_createAST(ast), args.length, argsPtr);
return _getAST(result);
} finally {
malloc.free(argsPtr);
}
}