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