module languages/cpp/syntax/Include imports languages/cpp/syntax/Path languages/cpp/syntax/NewLine exports context-free syntax "<" path:Path ">" -> Header {cons("system")} "\"" path:Path "\"" -> Header {cons("local")} "#" "include" header:Header NewLine -> Line {cons("include")} hiddens sorts Header Line