Module Include
module type Not_inlined = { ... };
include Not_inlined;
module type Inlined = { ... };
module type Not_inlined_and_closed = { ... };
include Not_inlined_and_closed;
module type Not_inlined_and_opened = { ... };