@[specialize #[]]

def Std.HashSet.anyM {α : Type u_1} [BEq α] [Hashable α] {m : Type → Type} [Monad m] (s : HashSet α) (f : α → m Bool) : m Bool

O(n). Returns true if f returns true for any element of the set.

@[specialize #[]]

def Std.HashSet.allM {α : Type u_1} [BEq α] [Hashable α] {m : Type → Type} [Monad m] (s : HashSet α) (f : α → m Bool) : m Bool

O(n). Returns true if f returns true for all elements of the set.

instance Std.HashSet.instBEq_batteries {α : Type u_1} [BEq α] [Hashable α] : BEq (HashSet α)