law flag_no_knowledge_

minebender-game@1.0.0.0 · PROOF.bend:212

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

212law flag_no_knowledge_:
213  for +g: G.Game
214  for +p: T.Pos
215  {G.knowledge(G.step(g, T.Flag{p})) == G.knowledge(g) : T.Knowledge} &
216  {G.status(G.step(g, T.Flag{p})) == G.status(g) : T.Status}