def lc.drop_bits

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

import Base

203# all but the first n of bs
204def lc.drop_bits(n: Nat, bs: List<&2, Bool>) -> List<&2, Bool>:
205  match n:
206    case 0n:
207      bs
208    case 1n+p:
209      match bs:
210        case Nil{}:
211          Nil{}
212        case Con{h, t}:
213          lc.drop_bits(p, t)