def wcontains

minebender-game@1.0.0.0 · proof_flood.bend:151

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

151# Some queued cell is q.
152def wcontains(ws: List<&2, G.Work>, +q: T.Pos) -> Bool:
153  match ws:
154    case Nil{}:
155      False{}
156    case G.Work{c, back} <> t:
157      B.same(c, q) || wcontains(t, q)