def all_safe

minebender-game@1.0.0.0 · game.bend:80

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

80def all_safe(w: Nat, h: Nat, +layout: T.Grid(Bool), +shown: T.Grid(Bool)) -> Bool:
81  all_safe.go(layout, shown, B.cells(w, h))