Function minisat::sys::minisat_conflict_nthLit

pub unsafe extern "C" fn minisat_conflict_nthLit(
    s: *mut minisat_solver, 
    i: c_int
) -> minisat_Lit