Overlap checks if the window [a,a+b) overlaps with the window [x, x+y).

Size represents the size (length) of a sequence number window.

Value represents the value of a sequence number.