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:
module Make1: