There are two ways to think of this type:
- As an
Array
of values with anRBMap
key-value index for the keyα
. - As an
RBMap
that preserves insertion order, but is optimized for iteration-by-values. Thus, it does not store the order of keys.
- toRBMap : Lean.RBMap α β cmp
- toArray : Array β
Instances For
instance
Lake.RBArray.instEmptyCollection
{α : Type u_1}
{β : Type u_2}
{cmp : α → α → Ordering}
:
EmptyCollection (RBArray α β cmp)