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