type 'a t
val typerep_of_t : 'a Typerep_lib.Std_internal.Typerep.t ‑> 'a t Typerep_lib.Std_internal.Typerep.t
val typename_of_t : 'a Typerep_lib.Typename.t ‑> 'a t Typerep_lib.Typename.t
val compute : 'a t ‑> 'a t t