jon.recoil.org

Module Expansion.ModuleTypeOf

Demonstrates expanding after recovering the type of a module

module A : sig ... end
module M' : module type of struct include Odoc_examples.Expansion.ModuleTypeOf.A end