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