(a: &DomainBound, b: &DomainBound)
| 18 | } |
| 19 | |
| 20 | fn le_bound(a: &DomainBound, b: &DomainBound) -> bool { |
| 21 | a.partial_cmp(b) |
| 22 | .is_some_and(|o| o != std::cmp::Ordering::Greater) |
| 23 | } |
| 24 | |
| 25 | /// Per-dim closed-interval predicate the caller supplies to query the |
| 26 | /// tree. `None` on either side means "unbounded". |
nothing calls this directly
no test coverage detected