Module Include
module type Not_inlined = sig ... end
include Not_inlined
module type Inlined = sig ... end
module type Not_inlined_and_closed = sig ... end
include Not_inlined_and_closed
module type Not_inlined_and_opened = sig ... end