def lc.msb.go

bend-osdev-cipher-core@0.1.0.0 · cipher_core.bend:177

import Base

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