The arrivals are separated by either the required wake turbulence minima, or if no wake turbulence applies then the usual spacing for arrivals is 3nm applied to 4DME, which is about 2.5nm at touchdown. If we have a decent headwind, and good visibility, we apply 2.5nm radar sep to 4DME which means 2nm at touchdown visually separated.