z3_sys
pub unsafe extern "C" fn Z3_param_descrs_to_string( c: Z3_context, p: Z3_param_descrs) -> Z3_string