Z3::RangeIndexing
s[1..3] on a String and on a Seq is the same arithmetic on an offset and a
length, so the two share it here rather than through a superclass - see SeqExpr
for why the Exprs have no common ancestor of their own.
s[1..3] on a String and on a Seq is the same arithmetic on an offset and a
length, so the two share it here rather than through a superclass - see SeqExpr
for why the Exprs have no common ancestor of their own.