succinct::broadword
pub fn u_le8(x: u64, y: u64) -> u64
Parallel ≤, treating a u64 as a vector of 8 u8s.
u64
u8