Member predicate KeywordTypeExpr :: isString
Holds if this is the string
type. Does not hold for the (rarely used) String
type.
predicate
isString
(
)