OwnerGeneration.next: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend as OwnerGeneration
Lines 55-60 of mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend&start_line=55&end_line=60

import Base

# Chooses generation one for a new owner state and advances a persisted value.
def next(current: Maybe<&2, U32>) -> Decision:
  match current:
    case None{}: GenerationReady{1}
    case Some{generation}:
      next.copies(u32.clone.pair(generation))

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend&name=Decision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend&name=next.copies
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/coordinator/OwnerGeneration.bend&name=u32.clone.pair