Include2.Y_include_docDoc attached to include Y. Y's top-comment
shouldn't appear here.
include
module type
of struct
include
Include2.Y
end
type t
= Include2.Y.t