def mem.expired

cswap-bend-cli@0.1.0.0 · policy/decide.bend:93

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T

93def mem.expired(+mem: T.Mem, +now: Nat, +ut: Nat) -> T.Mem:
94  T.Mem{Nat.add(mem.unhealthy(mem), 1n), Some{idle.since(mem, now)}}