Reads a big-endian number.
- at: where the eight bytes start.
read_u64 :: (at: *u8) -> u64Reads a big-endian number.
Parameters
- at: *u8
- where the eight bytes start.
Returns
- u64
Reads a big-endian number.
read_u64 :: (at: *u8) -> u64Reads a big-endian number.