type Ticket

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

import Base

26# One fetch in flight: its key, its generation, and the clock when it started.
27# It is affine, so it completes at most once.
28type Ticket is Type:
29  Ticket{key: String, gen: Nat, at: Nat}