Function minisat::sys::minisat_modelValue_Var

pub unsafe extern "C" fn minisat_modelValue_Var(
    s: *mut minisat_solver, 
    x: minisat_Var
) -> minisat_lbool