def records
import mylsm-lsm-store@0.6.0.1/src/Wal.bend as Walimport Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
205# Handle the record s for the packed WAL codec.
206def records(
207 muts: List<&2, Mut>
208) -> Result<&1, &1, Error, List<&1, Bytes.Bytes>>:
209 match muts:
210 case Nil{}:
211 Done{Nil{}}
212 case Con{mut, tail}:
213 records.step(tail, record.encode(mut), Nil{})