Up

Module type S1_permissions

Signature

type ('a, -'perms) t
val binary_search : (('a, [> ]) t, 'a) binary_search
val binary_search_segmented : (('a, [> ]) t, 'a) binary_search_segmented