Module Ocamlary.DoubleInclude3

include module type of DoubleInclude1
module DoubleInclude2 : sig ... end