Function varisat::proof::drat::write_binary_literals

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

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