Up
Module type
Binary_searchable
Signature
module type
S
=
S
module type
S1
=
S1
module type
S1_permissions
=
S1_permissions
module type
Indexable
=
Indexable
module type
Indexable1
=
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
:
Indexable_without_tests
) :
S
with
type
t
:=
T.t
with
type
elt
:=
T.elt
module
Make1_without_tests
(
T
:
Indexable1_without_tests
) :
S1
with
type
'a
t
:= 'a
T.t