LAWS.replay: def of bendtorch-core@0.1.0.0
Import: import bendtorch-core@0.1.0.0/src/storage/LAWS.bend as LAWS
Lines 135-140 of bendtorch-core@0.1.0.0/src/storage/LAWS.bend: https://jend.leeeet.dev/read.txt?path=bendtorch-core@0.1.0.0/src/storage/LAWS.bend&start_line=135&end_line=140

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

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

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/LAWS.bend&name=Op
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/LAWS.bend&name=step
  https://jend.leeeet.dev/definition.txt?path=bendtorch-core@0.1.0.0/src/storage/main.bend&name=Storage