Cache.Slot: type of bend-kit-cache@0.3.0.0 Import: import bend-kit-cache@0.3.0.0/cache.bend as Cache Lines 20-24 of bend-kit-cache@0.3.0.0/cache.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-cache@0.3.0.0/cache.bend&start_line=20&end_line=24 import Base # The state of one key. Fetches take the generations floor, floor+1, ..., next-1. # A completion lands only when floor <= its generation < next. It then raises # floor past its generation, so no older fetch can land after it. type Slot<-V: Data> is Data: Slot{next: Nat, floor: Nat, entry: Maybe<&2, Entry>} Uses (3): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=bend-kit-cache@0.3.0.0/cache.bend&name=Entry