def all_safe_revealed

minebender-game@1.0.0.0 · LAWS.bend:195

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

195def all_safe_revealed(+v: T.Knowledge, layout: T.Grid(Bool)) -> Bool:
196  match v:
197    case T.Knowledge{w, h, n, rows}:
198      all_safe_revealed.go(v, layout, cells(w, h))