Up
Module
Type_abstract
=
Type_abstract
Signature
module
Make0
(
X
:
Named_intf.S0
) :
Typerepable.S0
with
type
t
:=
X.t
module
Make1
(
X
:
Named_intf.S1
) :
Typerepable.S1
with
type
'a
t
:= 'a
X.t
module
Make2
(
X
:
Named_intf.S2
) :
Typerepable.S2
with
type
('a, 'b)
t
:= ('a, 'b)
X.t
module
Make3
(
X
:
Named_intf.S3
) :
Typerepable.S3
with
type
('a, 'b, 'c)
t
:= ('a, 'b, 'c)
X.t
module
Make4
(
X
:
Named_intf.S4
) :
Typerepable.S4
with
type
('a, 'b, 'c, 'd)
t
:= ('a, 'b, 'c, 'd)
X.t
module
Make5
(
X
:
Named_intf.S5
) :
Typerepable.S5
with
type
('a, 'b, 'c, 'd, 'e)
t
:= ('a, 'b, 'c, 'd, 'e)
X.t