Function varisat_checker::state::check_delete_clause_step

fn check_delete_clause_step<'a>(
    ctx: Const<ClauseHasherP, Mut<VariablesP, Mut<TmpDataP, Mut<ProcessingP<'a>, Mut<ClausesP, Mut<CheckerStateP, Ref<Context<'a>>>>>>>>, 
    clause: &[Lit], 
    proof: DeleteClauseProof
) -> Result<(), CheckerError>

Check a DeleteClause step