DistanceArray Abstraction