def nr

minebender-game@1.0.0.0 · proof_gen.bend:902

import Base
import minebender-game@1.0.0.0/board.bend as B

902# x is within one step of a.
903def nr(+a: Nat, +x: Nat) -> Bool:
904  Nat.is_le(B.dist(a, x), 1n)