def start

minebender-game@1.0.0.0 · solver.bend:102

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

102# What the revealed cells fix: no mine under a number, one under a Boom.
103def start(rows: T.Grid(T.Seen)) -> T.Grid(Maybe<&2, Bool>):
104  match rows:
105    case Nil{}:
106      Nil{}
107    case r <> t:
108      start.row(r) <> start(t)