law reveal_unflagged_

minebender-game@1.0.0.0 · PROOF.bend:175

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

175law reveal_unflagged_:
176  for +g: G.Game
177  for +p: T.Pos
178  for +flag: {G.flagged(g, p) == False{} : Bool}
179  {G.step(g, T.Reveal{p}) == G.open(g, p) : G.Game}