Function varisat::proof::drat::write_binary_step

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

Writes a proof step in binary DRAT format