let
find_above i m =
let
o (b2, _e2) =
Int
.le i b2
in
lowest_binding_above o m