def c6.set

bend-osdev-legacy-ciphers@0.1.0.0 · cast6.bend:106

import Base

106# word i of xs replaced by v
107def c6.set(xs: List<&2, U32>, i: Nat, v: U32) -> List<&2, U32>:
108  match xs:
109    case Nil{}:
110      Nil{}
111    case Con{x, t}:
112      match i:
113        case 0n:
114          Con{v, t}
115        case 1n+j:
116          Con{x, c6.set(t, j, v)}