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