def adjacent

minebender-game@1.0.0.0 · LAWS.bend:48

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

48# p and q are two different cells that touch, by a side or a corner.
49def adjacent(+p: T.Pos, +q: T.Pos) -> Bool:
50  Bool.not(same(p, q)) && within_one(p, q)