def dist

import minebender-game@1.0.0.0/board.bend as Board

import Base

27def dist(+a: Nat, +b: Nat) -> Nat:
28  Nat.add(Nat.sub(a, b), Nat.sub(b, a))

Uses (3)