Index root's subtree and keep it maintained from here on. Idempotent: an already-indexed root returns its existing index.
root
Index
root's subtree and keep it maintained from here on. Idempotent: an already-indexed root returns its existing index.