Function varisat::proof::drat::drat_step

fn drat_step(
    step: &ProofStep, 
    emit_drat_step: impl FnMut(bool, &[Lit]) -> Result<()>
) -> Result<()>

Prepares a proof step for DRAT writing