Skip to main content

write_step

varisat_internal_proof::binary_format

Function write_step 

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

Writes a proof step in the varisat format