type RequestSequence

mylsm-lsm-store@0.6.0.1 · src/coordinator/ClientPolicy.bend:22

import Base

22# Tracks request identifiers without allowing U32 wraparound reuse.
23type RequestSequence is Data:
24  RequestAvailable{id: U32}
25  RequestExhausted{}