def ImportGraph.Lean.PHashSet.union {α : Type u_1} [BEq α] [Hashable α] (as bs : Lean.PHashSet α) : Lean.PHashSet α

Iterates through the first set, inserting elements into the second set unless they exist already.

Equations

• One or more equations did not get rendered due to their size.