type ResourceIdDecision

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:90

import Base

90# Reports an allocated owner identifier or preserves an exhausted allocator.
91type ResourceIdDecision is Data:
92  ResourceIdAllocated{id: U32, allocator: ResourceIdAllocator}
93  ResourceIdExhausted{allocator: ResourceIdAllocator}