Parameter Typerep_lib.Typename.Same_witness_exn_1.2-B

type 'a t
val typename_of_t : 'a typename ‑> 'a t typename