Function Z3_mk_set_del

src/api/api_array.cpp:292–294

    }

    Z3_ast Z3_API Z3_mk_set_del(Z3_context c, Z3_ast set, Z3_ast elem) {
        return Z3_mk_store(c, set, elem, Z3_mk_false(c));
    }

    static bool is_array_sort(Z3_context c, Z3_sort t) {
        return