Module DeepEquality.M

module X : SIG with type t = foo
module Y : SIG