Module type Nested.Y

This is module type Y.

Some additional comments.

Type

type t;

Some type.

Values

let y: t;

The value of y.