Module `Expansion.ModuleTypeOf`

module A : sig ... end

module M : sig ... end

module M' : sig ... end