Module `Expansion.ModuleTypeOfComplications`

Demonstrates the interaction of module type of and destructive module substitution

module type S = sig ... end

module X1 : sig ... end

module type T =
  Odoc_examples.Expansion.ModuleTypeOfComplications.S
    with module X := Odoc_examples.Expansion.ModuleTypeOfComplications.X1

Module Expansion.ModuleTypeOfComplications