Module type Binary_searchable_intf.Binary_searchable

module type Binary_searchable = sig .. end

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