Module type Core_kernel__.Binary_searchable_intf.Binary_searchable

include module type of sig ... end
type ('t, 'elt) binary_search_segmented = ('t'eltBase__.Binary_searchable_intf.binary_search_segmented
module type S1_permissions = S1_permissions