type Tree

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/sha/packed/packed_array_proof.bend:3

import Base

3# A duplicable proof-only description of an array. Never used by the hash.
4type Tree is Data:
5  Leaf{value: U32}
6  Node{left: Tree, right: Tree}