SstFileV2.serialize: def of mylsm-lsm-store@0.3.2.0
Import: import mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend as SstFileV2
Lines 112-114 of mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&start_line=112&end_line=114

import Base
import mylsm-lsm-store@0.3.2.0/src/MemTable.bend as MemTable
import mylsm-lsm-store@0.3.2.0/src/SstChecksum.bend as SstChecksum

def serialize(+entries: List<&2, MemTable.Entry>, level: Nat) -> String:
  +encoded_body = body(entries, level)
  encoded_body ++ "#" ++ SstChecksum.digest(encoded_body)

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=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/MemTable.bend&name=Entry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/SstChecksum.bend&name=digest
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.3.2.0/src/SstFileV2.bend&name=body