def stale2

cswap-bend-cli@0.1.0.0 · daemon/plan.bend:42

import cswap-bend-cli@0.1.0.0/daemon/plan.bend as Plan
import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as T
import cswap-bend-cli@0.1.0.0/policy/usage.bend as PU

42def stale2(+m: Maybe<&2, T.Usage>, +now: Nat, +ms: List<&2, String>) -> Bool:
43  match m:
44    case Some{u}:
45      Bool.not(PU.fresh(u, now, ms))
46    case None{}:
47      False{}

Uses (8)

Used by (1)