module type S0 = Type_struct.Typestructablemodule type S1 : sig ... endmodule type S2 : sig ... endmodule type S3 : sig ... endmodule type S4 : sig ... endmodule type S5 : sig ... endmodule Of_typerepable : functor (X : Typerep_lib.Std.Typerepable.S0) -> S0 with type t := X.t