Member predicate List_::getElt

Gets the nth element of this list expression.

Expr getElt(int index)