type 'a t
include Typerep_lib.Typerepable.S1 with type a t := 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 X.t ‑> 'a t X.t