Type Definition z3_sys::Z3_fixedpoint_reduce_assign_callback_fptr

type Z3_fixedpoint_reduce_assign_callback_fptr = Option<unsafe extern "C" fn(arg1: *mut c_void, arg2: Z3_func_decl, arg3: c_uint, arg4: *const Z3_ast, arg5: c_uint, arg6: *const Z3_ast)>;

The following utilities allows adding user-defined domains.