def within_one

minebender-game@1.0.0.0 · board.bend:30

import Base
import minebender-game@1.0.0.0/types.bend as T

30def within_one(p: T.Pos, q: T.Pos) -> Bool:
31  match p q:
32    case T.Pos{px, py} T.Pos{qx, qy}:
33      Nat.is_le(dist(px, qx), 1n) && Nat.is_le(dist(py, qy), 1n)