Mylsm.public_manifest_inspection: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/mylsm.bend as Mylsm
Lines 1850-1859 of mylsm-lsm-store@0.6.0.1/mylsm.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&start_line=1850&end_line=1859

import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend as FormatInspect

# Converts the internal format identity and validation into the public record.
def public_manifest_inspection(
  inspection: FormatInspect.Inspection
) -> ManifestInspection:
  match inspection:
    case FormatInspect.Inspection{identity, integrity}:
      match identity:
        case FormatInspect.Identity{package_version, storage_version, generation}:
          ManifestInspection{package_version, storage_version, generation,
            public_manifest_status(integrity)}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=ManifestInspection
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/mylsm.bend&name=public_manifest_status
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend&name=Identity
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend&name=Inspection