def items_open

minebender-game@1.0.0.0 · solver.bend:200

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

200def items_open(+part: T.Grid(Maybe<&2, Bool>), its: List<&2, Item>) -> Bool:
201  match its:
202    case Nil{}:
203      True{}
204    case Item{p, s, ns} <> t:
205      item_open(s, part, ns) && items_open(part, t)