def suffix

bend-collections@1.0.0.0 · spec/crypto/poly1305.bend:70

import bend-collections@1.0.0.0/spec/crypto/poly1305.bend as Poly1305

import Base

70def suffix(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
71  match n xs:
72    case 0n _: xs
73    case 1n+k Nil{}: Nil{}
74    case 1n+k x <> rest: suffix(k, rest)

Uses (3)

Used by (2)