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