law frozen_

minebender-game@1.0.0.0 · PROOF.bend:139

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

139law frozen_:
140  for +g: G.Game
141  for over: {G.status(g) != T.Playing{} : T.Status}
142  for a: T.Action
143  {G.step(g, a) == g : G.Game}