law wcontains_append_r

minebender-game@1.0.0.0 · proof_flood.bend:166

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

166law wcontains_append_r:
167  for +xs: List<&2, G.Work>
168  for +ys: List<&2, G.Work>
169  for +q: T.Pos
170  for e: {wcontains(ys, q) == True{} : Bool}
171  {wcontains(List.append(&2, G.Work, xs, ys), q) == True{} : Bool}