Function varisat_checker::state::check_step

pub fn check_step<'a>(
    ctx: Mut<VariablesP, Mut<TmpDataP, Mut<RupCheckP, Mut<ProcessingP<'a>, Mut<ClausesP, Mut<ClauseHasherP, Mut<CheckerStateP, Ref<Context<'a>>>>>>>>>, 
    step: ProofStep
) -> Result<(), CheckerError>

Check a single proof step