law reveal_unflagged

minebender-game@1.0.0.0 · LAWS.bend:410

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

410# LAW: "Clicking an unflagged cell reveals it."
411law reveal_unflagged:
412  for g: G.Game
413  for p: T.Pos
414  for flag: {G.flagged(g, p) == False{} : Bool}
415  {G.step(g, T.Reveal{p}) == G.open(g, p) : G.Game}