Module Include

module type Not_inlined = { ... };
include Not_inlined;
type t;
module type Inlined = { ... };
type u;
module type Not_inlined_and_closed = { ... };
include Not_inlined_and_closed;
type v;
module type Not_inlined_and_opened = { ... };
include Not_inlined_and_opened;
type w;