Module ModuleTypeOf.M'

type t = A.t

This comment for type t is written in module A