def set_at

bend-visgraph@2.0.0.0 · visgraph.bend:636

import Base

636def set_at(k: Nat, ts: Tops, v: F32) -> Tops:
637  match k ts:
638    case 0n TCon{old, next}:
639      TCon{v, next}
640    case 1n+p TCon{old, next}:
641      TCon{old, set_at(p, next, v)}
642    case _ TNil{}:
643      TNil{}