Snapshot.publish_generation.copied: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend as Snapshot
Lines 1204-1216 of mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&start_line=1204&end_line=1216

import Base

# Publishes a generation from independent copies of its current identifier.
def publish_generation.copied(
  copies: Nat & Nat,
  current_bytes: Nat,
  references: Nat
) -> GenerationDecision:
  match copies:
    case (next_source, retained_source):
      match references:
        case 0n: Published{Nat.add(next_source, 1n), NoRetained{}}
        case 1n+rest:
          Published{Nat.add(next_source, 1n),
            GenerationRetained{retained_source, current_bytes, 1n+rest}}

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=GenerationDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=RetiredGeneration