pub unsafe extern "C" fn solver_problemruleinfo2str( solv: *mut s_Solver, type_: SolverRuleinfo, source: Id, target: Id, dep: Id, ) -> *const c_char