Module type Typerep_lib.Type_generic_intf.M.S0

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