Include2
module X : sig ... end
Comment about X that should not appear when including X below.
include X
type t
= int