def drop

bend-collections-laws-crypto@1.0.0.0 · spec/math/random/chacha8rand.bend:156

import Base

156def drop(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
157  match n xs:
158    case 0n _:
159      xs
160    case 1n+p Nil{}:
161      []
162    case 1n+p Con{x, rest}:
163      drop(p, rest)