View.freshness: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/view.bend as View Lines 248-253 of cswap-bend-cli@0.1.0.0/view.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/view.bend&start_line=248&end_line=253 import Base import cswap-bend-cli@0.1.0.0/json.bend as Json import cswap-bend-cli@0.1.0.0/poll.bend as Poll def freshness(fetched: Maybe<&2, U32>, +now: U32, j: Json.Json) -> Json.Json: match fetched: case None{}: j case Some{+f}: Json.set("usageAgeSeconds", Json.JNum{age_text(Poll.sub0(now, f))}, Json.set("usageFetchedAt", jstr(ts(f)), j)) Uses (8): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=set https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/poll.bend&name=sub0 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=age_text https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=jstr https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/view.bend&name=ts