module type S0 : sig ... end
module type S1 : sig ... end
module type S2 : sig ... end
module type S3 : sig ... end
module type S4 : sig ... end
module type S5 : sig ... end