Parameter Typerep_lib.Typename.Same_witness_exn_1.1-A

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