def fill

minebender-game@1.0.0.0 · solver.bend:117

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

117def fill(part: T.Grid(Maybe<&2, Bool>)) -> T.Grid(Bool):
118  match part:
119    case Nil{}:
120      Nil{}
121    case r <> t:
122      fill.row(r) <> fill(t)