Member predicate IntegralType :: isUnsigned
Holds if this integral type is unsigned.
predicate
isUnsigned
(
)