pub unsafe extern "C" fn solver_solutionelement2str( solv: *mut s_Solver, p: Id, rp: Id, ) -> *const c_char