Module type Binary_searchable_intf.S1_permissions

module type S1_permissions = sig .. end

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