def part_none

minebender-game@1.0.0.0 · solver.bend:165

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

165def part_none(part: T.Grid(Maybe<&2, Bool>)) -> Nat:
166  match part:
167    case Nil{}:
168      0n
169    case r <> t:
170      Nat.add(row_none(r), part_none(t))