Read.age_of: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/tui/read.bend as Read
Lines 78-83 of cswap-bend-cli@0.1.0.0/tui/read.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/tui/read.bend&start_line=78&end_line=83

import Base
import cswap-bend-cli@0.1.0.0/tui/num.bend as N

def age_of(+fetched: Maybe<&2, U32>, +now: U32) -> Maybe<&2, U32>:
  match fetched:
    case None{}:
      None{}
    case Some{t}:
      Some{N.sel(U32.is_gt(now, t), (now - t : U32), 0)}

Uses (5):
  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=Base/base.bend&name=U32.is_gt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.sub
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/tui/num.bend&name=sel