Snapshot.owner.snapshot.open.available: 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 507-527 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=507&end_line=527

import Base

def owner.snapshot.open.available(
  allocator: ResourceIdAllocator,
  reservations: Registry,
  snapshots: List<&2, SnapshotResource>,
  cursors: List<&2, CursorResource>,
  generation: Nat,
  requests: Nat & Nat,
  limits: Nat & Nat
) -> OwnerOpenDecision:
  match allocator:
    case ResourceIdAllocator{next_id, exhausted}:
      match exhausted:
        case True{}:
          OwnerSnapshotRejected{OwnerRegistry{allocator, reservations,
            snapshots, cursors}}
        case False{}:
          match requests:
            case (requested_bytes, release_bytes):
              owner.snapshot.open.budget(allocator, snapshots, cursors,
                generation, nat.duplicate(requested_bytes), release_bytes, limits,
                reservations)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  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=CursorResource
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=OwnerOpenDecision
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=OwnerRegistry
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=Registry
  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=SnapshotResource
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=nat.duplicate
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/scan/Snapshot.bend&name=owner.snapshot.open.budget