def tail

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha3/core.bend:25

import Base

25# 0x06, zeros, 0x80 up to the end of the block (0x86 when one byte is left).
26def tail(q: Nat) -> List<&2, U32>:
27  match q:
28    case 0n:
29      Nil{}
30    case 1n:
31      [134]
32    case 2n+k:
33      6 <> List.append(&2, U32, List.replicate(U32, k, 0), [128])