Module DeepEquality.M

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