def gen.bit

minebender-game@1.0.0.0 · game.bend:150

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

150# Whether cell p gets a mine.
151def gen.bit(z: Zone, p: T.Pos, st: GenState) -> Bool:
152  match st:
153    case GenState{+need, left, rs}:
154      Bool.not(gen.out(z, p)) && Nat.is_lt(0n, need) && gen.pick(need, left, rs)