Class ForExpression.ForExprElaborator

Enclosing class:
ForExpression

public static class ForExpression.ForExprElaborator extends PullElaborator
An elaborator for a "for" expression, typically written as {for $x in SEQ return R}.

Provides both "pull" and "push" implementations.