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