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