Trait varisat_checker::ProofProcessor

pub trait ProofProcessor {
    fn process_step(
        &mut self, 
        step: &CheckedProofStep<'_>, 
        data: CheckerData<'_, '_>
    ) -> Result<(), Error>;
}

Implement to process proof steps.

Required methods

fn process_step(
    &mut self,
    step: &CheckedProofStep<'_>,
    data: CheckerData<'_, '_>
) -> Result<(), Error>

Loading content...

Implementors

Loading content...