`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`
`module type Inherent_Module = sig ... end`
`include Inherent_Module`
`module type Dorminant_Module = sig ... end`
`include Dorminant_Module`
`include Inherent_Module`
`val a : u`