def lc.drop_bits

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

import Base

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