Module `Expansion.DeepEquality`

Demonstrates expansion involving an equation on a type in a submodule

module type SIG = sig ... end

module type MODTYPE = sig ... end

type foo

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

Module Expansion.DeepEquality