Member predicate Generics::BoundedType::hasTypeBound

Holds if this type is bounded.

predicate hasTypeBound()