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