def stale_of

cswap-bend-cli@0.1.0.0 · dirlock.bend:42

import Base

42def stale_of(m: Result<&1, &1, U32 & String, U32>, +now: U32, +staleness: U32) -> Bool:
43  match m:
44    case Fail{e}:
45      False{}
46    case Done{t}:
47      U32.is_gt(now, (t + staleness : U32))