Function varisat_internal_proof::binary_format::read_unit_clauses

fn read_unit_clauses(
    source: &mut impl BufRead, 
    units: &mut Vec<(Lit, ClauseHash)>
) -> Result<(), Error>

Read a slice of unit clauses from a varisat proof