Module type Module.S7

type t
type u
type 'a v
type ('a, 'b) w
module M = M'