type ResourceIdAllocator

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

import Base

86# Carries the next owner resource identifier and terminal exhaustion state.
87type ResourceIdAllocator is Data:
88  ResourceIdAllocator{next_id: U32, exhausted: Bool}