Module index

This module provides definitions of tree index in an SMT, and operations to get the index of the parent/sibling/child/etc. of a given tree node.

Structs

TreeIndex

The index of a tree node includes the height (the root with height 0), and the path from the root to the node.

Constants

MAX_HEIGHT

The maximum height of a SMT is 256 (not including the root node), so the maximum number of leaves is 2^256.