Module type T.Z

type t = X1.t