Module type Binary_searchable_intf.S1_permissions

type ('a, -'perms) t
val binary_search_segmented : (('a[> Core_kernel.Perms.Export.read ]) t'a) Base.Binary_searchable.binary_search_segmented