let
check (bi,ei) =
assert
(
Int
.le bi ei)