Function varisat_checker::state::check_proof

pub fn check_proof<'a>(
    ctx: Mut<VariablesP, Mut<TmpDataP, Mut<RupCheckP, Mut<ProcessingP<'a>, Mut<ClausesP, Mut<ClauseHasherP, Mut<CheckerStateP, Ref<Context<'a>>>>>>>>>, 
    input: impl Read
) -> Result<(), CheckerError>

Checks a proof in the native Varisat format.