type t
include Typerep_lib.Typerepable.S0 with type t := t
val typerep_of_t : t Typerep_lib.Std_internal.Typerep.t
val typename_of_t : t Typerep_lib.Typename.t
val compute : t X.t