Function varisat::proof::drat::write_step

pub fn write_step<'s>(
    target: &mut impl Write, 
    step: &'s ProofStep<'s>
) -> Result<()>

Writes a proof step in DRAT format