def replay

bendtorch-core@0.1.0.0 · src/storage/LAWS.bend:135

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

135def replay(ops: List<&2, Op>, storage: Storage.Storage) -> Storage.Storage:
136  match ops:
137    case Nil{}:
138      storage
139    case op <> rest:
140      replay(rest, step(storage, op))