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