module languages/cpp/syntax/Text imports languages/cpp/syntax/NewLine exports sorts Text lexical syntax ~[\n]* -> Chars ~[\#\n] Chars NewLine -> Stuff NewLine -> Stuff lexical restrictions Chars -/- ~[\n] context-free syntax Stuff -> Line {cons("stuff")} Line* -> Text