Function z3_sys::Z3_params_validate

pub unsafe extern "C" fn Z3_params_validate(
    c: Z3_context,
    p: Z3_params,
    d: Z3_param_descrs
)

Validate the parameter set p against the parameter description set d.

The procedure invokes the error handler if p is invalid.