law push_keeps

minebender-game@1.0.0.0 · proof_flood.bend:228

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

228law push_keeps:
229  for +z: Bool
230  for +ns: List<&2, T.Pos>
231  for +back: List<&2, T.Pos>
232  for +rest: List<&2, G.Work>
233  for +q: T.Pos
234  for e: {wcontains(rest, q) == True{} : Bool}
235  {wcontains(G.push(z, ns, back, rest), q) == True{} : Bool}