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 "/")