pub fn lt_be(a: &[u8], b: &[u8]) -> Choice
Constant-time a < b over big-endian byte strings of equal length.
a < b