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