Convert more uses of string to word (#3834)

2 files changed, 5 insertions, 0 deletions

diff --git a/src/expr/type_node.cpp b/src/expr/type_node.cpp
index abca1e3ed..b003a7861 100644
--- a/src/expr/type_node.cpp
+++ b/src/expr/type_node.cpp
@@ -298,6 +298,8 @@ Node TypeNode::mkGroundValue() const
   return *te;
 }
 
+bool TypeNode::isStringLike() const { return isString(); }
+
 bool TypeNode::isSubtypeOf(TypeNode t) const {
   if(*this == t) {
     return true;
diff --git a/src/expr/type_node.h b/src/expr/type_node.h
index dcafef9c0..6de4a0271 100644
--- a/src/expr/type_node.h
+++ b/src/expr/type_node.h
@@ -506,6 +506,9 @@ public:
   /** Is this the String type? */
   bool isString() const;
 
+  /** Is this a string-like type? (string or sequence) */
+  bool isStringLike() const;
+
   /** Is this the Rounding Mode type? */
   bool isRoundingMode() const;