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