def upd.iv

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

import Base

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