law frozen

minebender-game@1.0.0.0 · LAWS.bend:330

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

330# LAW: "Once the game is won or lost, no action changes anything."
331law frozen:
332  for g: G.Game
333  for over: {G.status(g) != T.Playing{} : T.Status}
334  for a: T.Action
335  {G.step(g, a) == g : G.Game}