Function varisat_checker::state::check_at_clause_step

fn check_at_clause_step<'a>(
    ctx: Mut<VariablesP, Mut<TmpDataP, Mut<RupCheckP, Mut<ProcessingP<'a>, Mut<ClausesP, Mut<ClauseHasherP, Mut<CheckerStateP, Ref<Context<'a>>>>>>>>>, 
    redundant: bool, 
    clause: &[Lit], 
    propagation_hashes: &[ClauseHash]
) -> Result<(), CheckerError>

Check an AtClause step