law wcontains_append_l

minebender-game@1.0.0.0 · proof_flood.bend:190

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

190law wcontains_append_l:
191  for +xs: List<&2, G.Work>
192  for +ys: List<&2, G.Work>
193  for +q: T.Pos
194  for e: {wcontains(xs, q) == True{} : Bool}
195  {wcontains(List.append(&2, G.Work, xs, ys), q) == True{} : Bool}