Creates a union of integer literals starting from Start (inclusive) up to
End (exclusive). Unlike UintRange, the bounds may be negative.
The bounds are limited to the signed 11-bit range: Start must be an Int11
(-1024 to 1023) and End must be an Int11 or 1024, so that a bound
the union cannot represent fails with a readable constraint error instead of
resolving to never. Ranges where Start >= End (including a positive
Start with a negative End) resolve to never.
Creates a union of integer literals starting from
Start(inclusive) up toEnd(exclusive). Unlike UintRange, the bounds may be negative.The bounds are limited to the signed 11-bit range:
Startmust be anInt11(-1024to1023) andEndmust be anInt11or1024, so that a bound the union cannot represent fails with a readable constraint error instead of resolving tonever. Ranges whereStart >= End(including a positiveStartwith a negativeEnd) resolve tonever.