Up
Module
Make1_without_tests
(
T
:
Binary_searchable_intf.Indexable1_without_tests
) :
S1
with
type
'a
t
:= 'a
T.t
Parameters
T
:
Binary_searchable_intf.Indexable1_without_tests
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