Profile.upd.th: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profile.bend as Profile
Lines 343-348 of cswap-bend-cli@0.1.0.0/profile.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&start_line=343&end_line=348

import Base

def upd.th(+p: Prof, +n: NumRes) -> Upd:
  match p n:
    case Prof{nm, a, th, ms, cd, iv} NBad{m}:
      UBad{m}
    case Prof{nm, a, th, ms, cd, iv} NSet{t}:
      UOk{Prof{nm, a, t, ms, cd, iv}}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=NumRes
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Prof
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=Upd