Compact elements of CPO

Stream: Is there code for X?

[Horațiu Cheval]

Is there a definition for the notion of a compact element in a complete partial order: https://en.wikipedia.org/wiki/Compact_element?
I found docs#CompleteLattice.IsCompactElement, but that's for complete lattices.

[Yaël Dillies]

We didn't have complete partial orders until very recently, so no.

[Yaël Dillies]

It's not very hard to generalise the current definition though.