Container combining DenseSetFilter with growable array store.
Has O(1) unordered element access via slicing.
For use in graph algorithms with limited index ranges.
TODO better name?
Clear contents.
Check if element e is stored/contained.
Insert element e.
Non-mutable slicing.
Check if empty.
Get length.
See Implementation
Container combining DenseSetFilter with growable array store.
Has O(1) unordered element access via slicing.
For use in graph algorithms with limited index ranges.
TODO better name?