  In this paper, we associate a family of infinite-rank pro-Euclidean lattices
to elements of a formal loop group and a highest weight representation of the
underlying affine Kac--Moody algebra. In the case that the element has a
polynomial representative, we can prove our lattices are theta-finite in the
sense of Bost, allowing us to attach to each of our lattices a well-defined
theta-like function.
