AssumptionComparison

Result of a comparison involving an interval-constrained value.

`true`

means the relation holds for every value allowed by the assumption.

`false`

means the opposite relation holds for every allowed value.

`undefined`

means both outcomes remain possible, so the relation cannot be proved from the available interval information.