[][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