Function varisat::proof::drat::write_literals

fn write_literals(target: &mut impl Write, literals: &[Lit]) -> Result<()>

Writes the literals of a clause for a step in a DRAT proof.