def play

minebender-game@1.0.0.0 · LAWS.bend:234

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

234# Take the actions in order.
235def play(acts: List<&2, T.Action>, g: G.Game) -> G.Game:
236  match acts:
237    case Nil{}:
238      g
239    case a <> t:
240      play(t, G.step(g, a))