Function path_between Copy item path

pub closed spec fn path_between<T: TreeNodeValue<L>, const N: usize, const L: usize>(
    src: TreeNode<T, N, L>,
    dst: TreeNode<T, N, L>,
) -> TreePath<N>

src.inv(),

dst.inv(),

src.level() <= dst.level(),

src.on_subtree(dst),