def encode.body
import mylsm-lsm-store@0.6.0.1/src/Manifest.bend as Manifestimport Base
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes
167def encode.body(+manifest: Manifest) -> Bytes.Bytes:
168 match manifest:
169 case M{levels}:
170 Bytes.concat([magic(), u32(3), u32(U32.from_nat(List.length(&2, List<&2, String>, levels))), encode.levels(levels)])