Module Module_type_of

module type S = sig ... end
module X : sig ... end
module T : S with module M = X