Module Expansion.ModuleTypeOf
Demonstrates expanding after recovering the type of a module
module A : sig ... endmodule M : module type of Odoc_examples.Expansion.ModuleTypeOf.Amodule M' :
module type of struct include Odoc_examples.Expansion.ModuleTypeOf.A end