law chord_over

minebender-game@1.0.0.0 · PROOF.bend:98

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

98law chord_over:
99  for +ts: List<&2, T.Pos>
100  for +g: G.Game
101  for +over: {G.is_playing(G.status(g)) == False{} : Bool}
102  {G.chord_play(ts, g) == g : G.Game}