chroma/lexers/testdata/promela/welfare.expected
2025-03-22 20:46:00 +13:00

11 lines
380 B
Text

[
{"type":"KeywordDeclaration","value":"active"},
{"type":"TextWhitespace","value":" "},
{"type":"KeywordDeclaration","value":"proctype"},
{"type":"TextWhitespace","value":" "},
{"type":"Name","value":"cr"},
{"type":"Punctuation","value":"()"},
{"type":"TextWhitespace","value":" "},
{"type":"Punctuation","value":"{}"},
{"type":"TextWhitespace","value":"\n"}
]