succinct::broadword
pub fn le8(x: u64, y: u64) -> u64
Parallel ≤, treating a u64 as a vector of 8 i8s.
u64
i8