Completions of functional spaces and multivalued mappings
V. V. Fedorchuk
Let $(X,\mathcal U)$ be a compact uniform space and $C(X)$ the space of all uniformly continuous real-valued functions on $X$ with the topology of uniform convergence.
We consider a completion $C_v(X)$ of $C(X)$.