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