Module type DeepEquality.MODTYPE

module X : SIG
module Y : SIG