law reveal_flagged_

minebender-game@1.0.0.0 · PROOF.bend:162

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

162law reveal_flagged_:
163  for +g: G.Game
164  for +p: T.Pos
165  for +flag: {G.flagged(g, p) == True{} : Bool}
166  {G.step(g, T.Reveal{p}) == g : G.Game}