type Slot

bend-kit-cache@0.3.0.0 · cache.bend:20

import Base

20# The state of one key. Fetches take the generations floor, floor+1, ..., next-1.
21# A completion lands only when floor <= its generation < next. It then raises
22# floor past its generation, so no older fetch can land after it.
23type Slot<-V: Data> is Data:
24  Slot{next: Nat, floor: Nat, entry: Maybe<&2, Entry<V>>}