law reveal_over

minebender-game@1.0.0.0 · PROOF.bend:89

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

89law reveal_over:
90  for +g: G.Game
91  for +p: T.Pos
92  for +over: {G.is_playing(G.status(g)) == False{} : Bool}
93  {G.reveal(g, p) == g : G.Game}