Snapshot.allocate_resource_id.maximum: 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 198-210 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=198&end_line=210

import Base

def allocate_resource_id.maximum(
  next_ids: U32 & U32,
  at_max: Bool
) -> ResourceIdDecision:
  match next_ids:
    case (next_id, increment_id):
      match at_max:
        case True{}:
          ResourceIdAllocated{next_id,
            ResourceIdAllocator{increment_id, True{}}}
        case False{}:
          ResourceIdAllocated{next_id,
            ResourceIdAllocator{U32.add(increment_id, 1), False{}}}

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=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.add
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=ResourceIdAllocator
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=ResourceIdDecision