Module DeepEquality2.M

module X : sig ... end
module Y : sig ... end