Function solver_next_solutionelement 

pub unsafe extern "C" fn solver_next_solutionelement(
    solv: *mut s_Solver,
    problem: Id,
    solution: Id,
    element: Id,
    p: *mut Id,
    rp: *mut Id,
) -> Id