Module proof::tree_arithmetic::zeroed

Functions

expand_tree_index
general_index_to_subtree
is_in_subtree
left_most_leaf
relative_depth
right_most_leaf
root_from_depth
sibling_index
subtree_index_to_general