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...