The invariant: all equal adjacent spans are merged.
Doing this included changing BTreeLeaf's fixup interface so that instead two fixup methods (withPrevious, and withNext), we now have a single fixup(withNext:) method that can also mutate the next leaf.
The invariant: all equal adjacent spans are merged.
Doing this included changing BTreeLeaf's fixup interface so that instead two fixup methods (withPrevious, and withNext), we now have a single fixup(withNext:) method that can also mutate the next leaf.