LegacyCiphers.lc.tab.set.go: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as LegacyCiphers
Lines 311-324 of bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&start_line=311&end_line=324

import Base

def lc.tab.set.go(t: LcTab, path: List<&2, Bool>, v: U32) -> LcTab:
  match t:
    case LcLeaf{w}:
      LcLeaf{v}
    case LcNode{l, r}:
      match path:
        case Nil{}:
          LcNode{l, r}
        case Con{b, rest}:
          match b:
            case True{}:
              LcNode{l, lc.tab.set.go(r, rest, v)}
            case False{}:
              LcNode{lc.tab.set.go(l, rest, v), r}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend&name=LcTab