Module type Nested.Y

This is module type Y.

Some additional comments.

Type

type t

Some type.

Values

val y : t

The value of y.