data.nat.dist
source
This file defines a simple distance function on naturals from truncated substraction.
Distance (absolute value of difference) between natural numbers.