# 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 S1_permissions = Binary_searchable_intf.S1_permissions

    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