Has Set been ported to Lean 4 yet?

Stream: lean4

[Kevin Fisher]

I saw that Lean 3 had a set type in Init, but can't find it in Lean 4, and am not sure if it moved somewhere else or just has not been ported yet. Anyone know if that exists currently?

If not, is it one of those things where I could re-implement it easily, or would it require implementing a lot.

[David Renshaw]

docs4#Set

[Kevin Fisher]

Ohh I see. Thanks!