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