law wcontains_works

minebender-game@1.0.0.0 · proof_flood.bend:214

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

214law wcontains_works:
215  for +ns: List<&2, T.Pos>
216  for +back: List<&2, T.Pos>
217  for +q: T.Pos
218  for e: {B.contains(ns, q) == True{} : Bool}
219  {wcontains(G.works(ns, back), q) == True{} : Bool}