def gen.out

minebender-game@1.0.0.0 · game.bend:130

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

130def gen.out(z: Zone, +p: T.Pos) -> Bool:
131  match z:
132    case Zone{+first, wide}:
133      Bool.pick(Bool, wide, B.within_one(first, p), B.same(p, first))