Function varisat_internal_proof::vli_enc::read_u64

pub fn read_u64(source: &mut impl BufRead) -> Result<u64, Error>

Read an encoded 64 bit number from a buffered reader.

This uses read_u64_fast if the remaining buffer is larger than 16 bytes and falls back to a slower implementation otherwise.