A polymorphic qualifier for the signedness type system.
The value is to be interpreted as signed.
The bottom type in the Signedness type system.
The expression's value is in the signed positive range; that is, its most significant bit is not set.
The expression is
The value's signedness is not known to the Signedness Checker.
The value is to be interpreted as unsigned.