PR #16168: feat(data/set/intervals/unordered_interval): I...

Stream: triage

[Random Issue Bot]

Today I chose PR 16168 for discussion!

feat(data/set/intervals/unordered_interval): Intervals are injective in both endpoints
Created by @Yaël Dillies (@YaelDillies) on 2022-08-20
Labels: awaiting-review, t-order

Is this PR still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

Still awaiting review and ready in my opinion