I'm trying to figure out what the basis is for the implementation of the sorted map. For example, in related project https://github.com/orium/rpds https://githu

I'm trying to figure out what the basis is for the implementation of the sorted map. For example, in related project https://github.com/orium/rpds https://github.com/orium/rpds they explicitly note that they are basing their sorted map on Okasaki red-black tree.