jon.recoil.org

Module Expansion.ModuleTypeAliases2

Demonstrates that module types 'aliases' are produced by strengthening

module A : sig ... end
module B : module type of struct include Odoc_examples.Expansion.ModuleTypeAliases2.A end