Up
Module
Make1
(
T
:
Indexable1
) :
S1
with
type
'a
t
:= 'a
T.t
Parameters
T
:
Indexable1
Signature
type
'a t
val
binary_search : ('a
t
, 'a)
Binary_searchable_intf.binary_search
val
binary_search_segmented : ('a
t
, 'a)
Binary_searchable_intf.binary_search_segmented