Module type Module.S6

type t
type u
type 'a v
module M : sig ... end