Function varisat_checker::state::check_unit_clauses_step

fn check_unit_clauses_step<'a>(
    ctx: Mut<VariablesP, Mut<RupCheckP, Mut<ProcessingP<'a>, Mut<ClausesP, Mut<ClauseHasherP, Mut<CheckerStateP, Ref<Context<'a>>>>>>>>, 
    units: &[(Lit, ClauseHash)]
) -> Result<(), CheckerError>

Check a UnitClauses step