S (typerep.Typerep_lib.Typerepable.S)

type t

val typerep_of_t : t Std_internal.Typerep.t

val typename_of_t : t Typename.t