Wal.records: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Wal
Lines 205-213 of mylsm-lsm-store@0.6.0.1/src/Wal.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&start_line=205&end_line=213

import Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

# Handle the record s for the packed WAL codec.
def records(
  muts: List<&2, Mut>
) -> Result<&1, &1, Error, List<&1, Bytes.Bytes>>:
  match muts:
    case Nil{}:
      Done{Nil{}}
    case Con{mut, tail}:
      records.step(tail, record.encode(mut), Nil{})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-bytes@0.3.3.0/bytes.bend&name=Bytes
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Error
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=Mut
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=record.encode
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/Wal.bend&name=records.step