Function path_between Copy item path

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

src.inv(),

dst.inv(),

src.level <= dst.level,

src.on_subtree(dst),