Up
Module type
T0
Signature
type
named
type
t
val
typename_of_named :
named
Typename.t
val
typename_of_t :
t
Typename.t
val
witness : (
t
,
named
)
Type_equal.t