Function varisat_internal_proof::binary_format::read_hashes

fn read_hashes(
    source: &mut impl BufRead, 
    hashes: &mut Vec<ClauseHash>
) -> Result<(), Error>

Read a slice of clause hashes from a varisat proof