Module `DeepEquality.M`

module X : 
  Odoc_examples.Expansion.DeepEquality.SIG
    with type t = Odoc_examples.Expansion.DeepEquality.foo

module Y : Odoc_examples.Expansion.DeepEquality.SIG

Module DeepEquality.M