Module Recent.X

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