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