Module `Include2.Y_include_synopsis`

The include Y below should have the synopsis from Y's top-comment attached to it.


       include 
        module type
         of struct
         include Y
         end

type t
         = Y.t