Module type Typerep_lib__Type_generic_intf.M.S1

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