Nested.Y
This is module type Y.
Some additional comments.
type t
Some type.
let y: t;
The value of y.