~/jendhub

def request_id.take.ready

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

import mylsm-lsm-store@0.6.0.1/src/coordinator/ClientPolicy.bend as ClientPolicy
import Base

115def request_id.take.ready(
116  copies: U32 & U32 & U32
117) -> RequestDecision:
118  match copies:
119    case (final_check, (id, next_id)):
120      request_id.take.available((id, next_id),
121        U32.is_eq(final_check, 4294967295))

Uses (6)

Used by (1)