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