Module type Module.S5

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