Up
Module
Check_creators
(
T
:
T.T2
) (
Tree
:
T.T2
) (
Elt
:
T.T1
) (
Cmp
:
T.T1
) (
Options
:
T.T3
) (
M
:
Creators_generic
with
type
('a, 'b, 'c)
options
:= ('a, 'b, 'c)
Options.t
with
type
('a, 'b)
t
:= ('a, 'b)
T.t
with
type
('a, 'b)
tree
:= ('a, 'b)
Tree.t
with
type
'a
elt
:= 'a
Elt.t
with
type
'cmp
cmp
:= 'cmp
Cmp.t
)
Parameters
T
:
T.T2
Tree
:
T.T2
Elt
:
T.T1
Cmp
:
T.T1
Options
:
T.T3
M
:
Creators_generic
with
type
('a, 'b, 'c)
options
:= ('a, 'b, 'c)
Options.t
with
type
('a, 'b)
t
:= ('a, 'b)
T.t
with
type
('a, 'b)
tree
:= ('a, 'b)
Tree.t
with
type
'a
elt
:= 'a
Elt.t
with
type
'cmp
cmp
:= 'cmp
Cmp.t