Member predicate KeywordTypeExpr::isBoolean
Holds if this is the boolean
type. Does not hold for the (rarely used) Boolean
type.
predicate isBoolean()
Holds if this is the boolean
type. Does not hold for the (rarely used) Boolean
type.
predicate isBoolean()