pub fn seq_diff(a: u32, b: u32) -> i32
Signed circular distance a - b in the 31-bit sequence space, in (-SEQ_HALF, SEQ_HALF]. Positive means a is ahead of b.
a - b
(-SEQ_HALF, SEQ_HALF]
a
b