Profile.upd.cd: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/profile.bend as Profile
Lines 350-355 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=350&end_line=355

import Base

def upd.cd(+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, th, ms, t, 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