Module type Module.S3

type t = int
type u = string
type 'a v
type ('a, 'b) w
module M : sig ... end