Member predicate Type::IntegralType::isSigned

Holds if this integral type is signed.

predicate isSigned()