type Mem

cswap-bend-cli@0.1.0.0 · policy/types.bend:88

import Base

88# The engine's in-memory counters: consecutive unhealthy ticks, and when the
89# idle hold for an expired token began. `Mem{0n, None{}}` is a fresh process.
90type Mem is Data:
91  Mem{unhealthy: Nat, idle_since: Maybe<&2, Nat>}