def upd.th

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

import Base

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