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?
A postblit is present on this object, but not explicitly documented in the source.
Clear contents.
Check if element e is stored/contained.
Check if empty.
Insert element e.
Get length.
Non-mutable slicing.
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?