Binary_searchable.Which_target_by_segment
type t = [
| `First_on_right
| `Last_on_left
]
val all : t list