def rest

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/ed25519.bend:207

import Base

207def rest(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
208  match n:
209    case 0n:
210      xs
211    case 1n+m:
212      match xs:
213        case Nil{}:
214          Nil{}
215        case Con{x, xt}:
216          rest(m, xt)