order dot final

Stream: Is there code for X?

[Adam Topaz]

We have docs#order.cofinal but I can't seem to find order.final Of course, I could use order.cofinal (order_dual foo), but is this the best way?

[David Wärn]

I think that's the best way. Note that order.cofinal bundles the carrier set, is this what you want? Btw I think the usual name for the dual notion is 'coinitial' or 'dense'