Member predicate StringOps::ConcatenationNode::isRoot
Holds if this is the root of a concatenation tree, that is, it is a concatenation operator that is not itself the immediate operand to another concatenation operator.
predicate isRoot()
Holds if this is the root of a concatenation tree, that is, it is a concatenation operator that is not itself the immediate operand to another concatenation operator.
predicate isRoot()