type Level = u64;
How high up in the tree we are (where root is highest). 1 << level is the size of the range the next child. So 1 << ROOT_LEVEL is the size of the range of each children of the root.
1 << level
1 << ROOT_LEVEL