Member predicate KeywordTypeExpr::isNever
Holds if this is the never
type, or an equivalent type representing the empty set of values.
predicate isNever()
Holds if this is the never
type, or an equivalent type representing the empty set of values.
predicate isNever()