Function varisat_internal_proof::binary_format::write_unit_clauses

fn write_unit_clauses(
    target: &mut impl Write, 
    units: &[(Lit, ClauseHash)]
) -> Result<()>

Writes a slice of unit clauses for a varisat proof