Function varisat_checker::processing::process_step

pub fn process_step<'a, 'b>(
    ctx: Const<VariablesP, Mut<ProcessingP<'a>, Ref<Context<'a>>>>, 
    step: &CheckedProofStep<'b>
) -> Result<(), CheckerError>

Process a single step