~/jendhub

def upd.cd

cswap-bend-cli@0.1.0.0 · profile.bend:350

import cswap-bend-cli@0.1.0.0/profile.bend as Profile
import Base

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

Uses (3)

Used by (1)