Characteristic predicate Types::IntType::IntType

IntType()