Up
Module type
S1_permissions
=
Binary_searchable_intf.S1_permissions
Signature
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