Module Recent.X

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