Module Include

module type Not_inlined = sig ... end
include Not_inlined
type t
module type Inlined = sig ... end
type u
module type Not_inlined_and_closed = sig ... end
include Not_inlined_and_closed
type v
module type Not_inlined_and_opened = sig ... end
include Not_inlined_and_opened
type w