Module ghost_tree 

Structs

Tree

TreeNode

A ghost tree node with depth L and N children.

TreePath

A sequence of child indices describing a path from a starting node to a target node.

Traits

TreeNodeValue

Functions

group_ghost_tree_lemmas

lemma_path_between_properties

path_between