spire.optional.intervalValuePartialOrder
Interval partial order defined as follows:
I <= J if I is a subset of J.
Interval partial order defined as follows:
I <= J if I is a subset of J.