def items_ok

minebender-game@1.0.0.0 · solver.bend:69

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

69def items_ok(its: List<&2, Item>, +layout: T.Grid(Bool)) -> Bool:
70  match its:
71    case Nil{}:
72      True{}
73    case Item{p, s, ns} <> t:
74      item_ok(s, p, ns, layout) && items_ok(t, layout)