def lc.msb.go

bend-osdev-legacy-ciphers@0.1.0.0 · legacy_ciphers.bend:180

import Base

180# the bits of a word, most significant first, in front of acc
181def lc.msb.go(n: Nat, w: Word(n), acc: List<&2, Bool>) -> List<&2, Bool>:
182  match n:
183    case 0n:
184      acc
185    case 1n+p:
186      match w:
187        case WCon{h, t}:
188          lc.msb.go(p, t, Con{h, acc})