Characteristic predicate TranslatedExpr::TranslatedArrayExpr::TranslatedArrayExpr

TranslatedArrayExpr()