Class SlashExpression.SlashExprElaborator

Enclosing class:
SlashExpression

public static class SlashExpression.SlashExprElaborator extends PullElaborator
Elaborator for a slash expression. (This actually corresponds to the "!" operator, not to "/")