Up
–
typerep
»
Typerep_lib
»
Typename
»
Same_witness_exn_1
» 1-A
Parameter
Same_witness_exn_1.1-A
type
'a t
val
typename_of_t :
'a
typename
->
'a
t
typename