Module Recent.X

module L := Z.Y
type t = int Z.Y.X.t
type u := int
type v = u Z.Y.X.t