law assist_over

minebender-game@1.0.0.0 · PROOF.bend:128

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

128law assist_over:
129  for +g: G.Game
130  for +over: {G.is_playing(G.status(g)) == False{} : Bool}
131  for +k: Nat
132  {G.assist(g, k) == g : G.Game}