z3_sys
pub unsafe extern "C" fn Z3_tactic_get_param_descrs( c: Z3_context, t: Z3_tactic) -> Z3_param_descrs