Render.last_seen2: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/render.bend as Render
Lines 233-238 of cswap-bend-cli@0.1.0.0/render.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/render.bend&start_line=233&end_line=238

import Base

def last_seen2(b: Maybe<&2, U32>, +age: Maybe<&2, U32>) -> List<&2, String>:
  match b age:
    case Some{p} Some{a}:
      ["\u{2514} last seen " ++ U32.show(whole(p)) ++ "% used \u{B7} " ++ age_text(a)]
    case _ _:
      []

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.show
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=age_text
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/render.bend&name=whole