Module my_module_type.M

The comment for module M.

val y : int

The comment for value y.