Member predicate IRSignedIntegerType :: isSigned
Holds if this integer type is signed.
predicate
isSigned
(
)