@[inline]
O(n)
. Returns true
if f
returns true
for any element of the set.
Instances For
@[inline]
O(n)
. Returns true
if f
returns true
for all elements of the set.
Instances For
@[inline]
O(1)
amortized. Similar to insert
, but also returns a Boolean flag indicating whether an
existing entry has been replaced with a => b
.
Instances For
@[inline]
O(n)
. Obtain a HashSet
from an array.
Instances For
@[inline]
O(n)
. Obtain a HashSet
from a list.
Instances For
@[inline]
def
Lean.HashSet.merge
{α : Type u}
[BEq α]
[Hashable α]
(s : Lean.HashSet α)
(t : Lean.HashSet α)
:
O(|t|)
amortized. Merge two HashSet
s.