def words

bend-collections@1.0.0.0 · proofs/crypto/sha/packed/buffer_proof.bend:28

import Base

28# Proof-only observation; never called by the buffer hashing API.
29def words(a: Array<U32>) -> List<&2,U32>:
30  match a:
31    case ALeaf{x}: [x]
32    case ANode{l,r}: List.append(&2,U32,words(l),words(r))