def items_onb

minebender-game@1.0.0.0 · proof_solver.bend:315

import Base
import minebender-game@1.0.0.0/solver.bend as S
import minebender-game@1.0.0.0/proof_cells.bend as PS

315# Every revealed cell of the items, and every cell its number counts, is on the board.
316def items_onb(+e: PS.WH, its: List<&2, S.Item>) -> Bool:
317  match its:
318    case Nil{}:
319      True{}
320    case i <> t:
321      item_onb(e, i) && items_onb(e, t)