def item_open

minebender-game@1.0.0.0 · solver.bend:193

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

193def item_open(s: T.Seen, +part: T.Grid(Maybe<&2, Bool>), +ns: List<&2, T.Pos>) -> Bool:
194  match s:
195    case T.Shown{k}:
196      between(true_among(part, ns), none_among(part, ns), k)
197    case o:
198      True{}