Z3_mk_set_intersect

z3_sys

Function Z3_mk_set_intersect 

Source 
pub unsafe extern "C" fn Z3_mk_set_intersect(
    c: Z3_context,
    num_args: c_uint,
    args: *const Z3_ast,
) -> Z3_ast
Expand description

Take the intersection of a list of sets.