def rc4.set
bend-osdev-legacy-ciphers@0.1.0.0 · rc4.bend:45
import bend-osdev-legacy-ciphers@0.1.0.0/rc4.bend as Rc4
import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
45def rc4.set(t: L.LcTab, path: List<&2, Bool>, v: U32) -> L.LcTab:
46 match t:
47 case L.LcLeaf{w}:
48 L.LcLeaf{v}
49 case L.LcNode{l, r}:
50 match path:
51 case Nil{}:
52 L.LcNode{l, r}
53 case Con{b, rest}:
54 match b:
55 case True{}:
56 L.LcNode{l, rc4.set(r, rest, v)}
57 case False{}:
58 L.LcNode{rc4.set(l, rest, v), r}