Module Expansion.TypeSubstitution
Demonstrates expansion involving deep destructive type substitution.
module type S = sig ... endmodule type T = Odoc_examples.Expansion.TypeSubstitution.S with type M.t := intExpansion.TypeSubstitutionDemonstrates expansion involving deep destructive type substitution.
module type S = sig ... endmodule type T = Odoc_examples.Expansion.TypeSubstitution.S with type M.t := int