module
Z3::RangeIndexing
Overview
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.