Decide.mem.expired: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/policy/decide.bend as Decide
Lines 93-94 of cswap-bend-cli@0.1.0.0/policy/decide.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&start_line=93&end_line=94

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

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

Uses (6):
  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=Base/base.bend&name=Nat.add
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=idle.since
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/decide.bend&name=mem.unhealthy
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Mem