Member predicate ListComp::getElt

Expr getElt()