def suffix

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/chacha.bend:137

import Base

137def suffix(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
138  match n xs:
139    case 0n _: xs
140    case 1n+p Nil{}: Nil{}
141    case 1n+p x <> rest: suffix(p, rest)