Module type DeepEquality2.MODTYPE

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