Up
Module
Binary_searchable
=
Core_kernel.Binary_searchable
Signature
include
Core_kernel.Binary_searchable_intf.Binary_searchable
module type
S
=
Binary_searchable_intf.S
module type
S1
=
Binary_searchable_intf.S1
module type
S1_permissions
=
Binary_searchable_intf.S1_permissions
module type
Indexable
=
Binary_searchable_intf.Indexable
module type
Indexable1
=
Binary_searchable_intf.Indexable1
module
Make
(
T
:
Indexable
) :
S
with
type
t
:=
T.t
with
type
elt
:=
T.elt
module
Make1
(
T
:
Indexable1
) :
S1
with
type
'a
t
:= 'a
T.t
module
Make_without_tests
(
T
:
Binary_searchable_intf.Indexable_without_tests
) :
S
with
type
t
:=
T.t
with
type
elt
:=
T.elt
module
Make1_without_tests
(
T
:
Binary_searchable_intf.Indexable1_without_tests
) :
S1
with
type
'a
t
:= 'a
T.t