[−][src]Function varisat_internal_proof::binary_format::write_literals
fn write_literals(target: &mut impl Write, literals: &[Lit]) -> Result<()>
Writes a slice of literals for a varisat proof
fn write_literals(target: &mut impl Write, literals: &[Lit]) -> Result<()>
Writes a slice of literals for a varisat proof