See Binary_searchable_intf.
Binary_searchable_intf
include Binary_searchable_intf.Binary_searchable
module type S = Binary_searchable_intf.S
module type S1 = Binary_searchable_intf.S1
module type Indexable = Binary_searchable_intf.Indexable
module type Indexable1 = Binary_searchable_intf.Indexable1
module Make : functor (T : Indexable) -> S with type t := T.t with type elt := T.elt
module Make1 : functor (T : Indexable1) -> S1 with type a t := a T.t