def open_ok

minebender-game@1.0.0.0 · solver.bend:207

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

207# Some completion of the partial layout may still be consistent.
208def open_ok(+part: T.Grid(Maybe<&2, Bool>), rel: List<&2, Item>, n: Nat) -> Bool:
209  between(part_true(part), part_none(part), n) && items_open(part, rel)