Up
Module type
T4
Signature
type
('a, 'b, 'c, 'd) named
type
a
val
a :
a
Typerep.t
type
b
val
b :
b
Typerep.t
type
c
val
c :
c
Typerep.t
type
d
val
d :
d
Typerep.t
type
t
val
typename_of_named : 'a
Typename.t
-> 'b
Typename.t
-> 'c
Typename.t
-> 'd
Typename.t
-> ('a, 'b, 'c, 'd)
named
Typename.t
val
typename_of_t :
t
Typename.t
val
witness : (
t
, (
a
,
b
,
c
,
d
)
named
)
Type_equal.t