Expand description
This module implements an order statistic multiset, which is implemented as a weight-balanced tree (WBT). It is based on the weight-balanced tree based on the following papers:
Each of the nodes in the tree contains a UnitVec of values to store multiple values with the same key.