module languages/box/syntax/Comments %% The comments occurring in the orginal text must be %% restored in the resulting text. imports languages/box/syntax/Basic exports context-free syntax "COMM" -> BoxOperator {cons("comment")}