Function varisat_internal_proof::binary_format::read_literals

fn read_literals(
    source: &mut impl BufRead, 
    literals: &mut Vec<Lit>
) -> Result<(), Error>

Read a slice of literals from a varisat proof