Migrate.gate.source: 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 327-338 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=327&end_line=338

import Base

# Applies the source compatibility check before destination admission.
def gate.source(
  validation: SourceValidation,
  destination_missing: Bool,
  max_entries: Nat,
  max_encoded_bytes: Nat,
  supported: Bool
) -> Decision:
  Bool.pick(Decision, supported,
    gate.destination(validation, destination_missing, max_entries,
      max_encoded_bytes),
    MigrateRejected{UnsupportedSource{}})

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=Bool.pick
  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/Migrate.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend&name=Rejection
  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.destination