# Module type Binary_searchable_intf.Binary_searchable.S1_permissions

    module type S1_permissions = Binary_searchable_intf.S1_permissions

    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