Function varisat_internal_proof::binary_format::write_hashes

fn write_hashes(target: &mut impl Write, hashes: &[ClauseHash]) -> Result<()>

Writes a slice of clause hashes for a varisat proof