law flag_over

minebender-game@1.0.0.0 · PROOF.bend:113

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

113law flag_over:
114  for +g: G.Game
115  for +p: T.Pos
116  for +over: {G.is_playing(G.status(g)) == False{} : Bool}
117  {G.flag(g, p) == g : G.Game}