Migrate.plan: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend as Migrate
Lines 358-370 of mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&start_line=358&end_line=370

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

# Chooses compatibility, validation, destination, and resource preconditions.
def plan(
  inspection: FormatInspect.Inspection,
  validation: SourceValidation,
  destination_missing: Bool,
  max_entries: Nat,
  max_encoded_bytes: Nat
) -> Decision:
  match inspection:
    case FormatInspect.Inspection{identity, integrity}:
      gate.manifest(validation, destination_missing, max_entries,
        max_encoded_bytes,
        source.supported(identity), integrity)

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend&name=Inspection
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=SourceValidation
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=gate.manifest
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=source.supported