def dist

import minebender-game@1.0.0.0/LAWS.bend as LAWS

import Base

39def dist(+a: Nat, +b: Nat) -> Nat:
40  Nat.add(Nat.sub(a, b), Nat.sub(b, a))

Uses (3)