Function varisat_internal_proof::binary_format::write_step

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

Writes a proof step in the varisat format