coffee/coffee.pygments
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
This repository has been archived on 2024-06-20. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.
coffee.pygments/tests/examplefiles/sml/intsyn.sig.output
Oleh Prypin 6f43092173
Also add auto-updatable output-based tests to examplefiles (#1689) 
Co-authored-by: Georg Brandl <georg@python.org>
2021-01-20 10:48:45 +01:00

6976 lines
196 KiB
Text
Generated
Raw Permalink Blame History

'(*' Comment.Multiline
' ' Comment.Multiline
'I' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'n' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'y' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'x' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
' \n' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
'u' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'k' Comment.Multiline
' ' Comment.Multiline
'P' Comment.Multiline
'f' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'c' Comment.Multiline
'h' Comment.Multiline
'u' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'M' Comment.Multiline
'o' Comment.Multiline
'd' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'R' Comment.Multiline
'o' Comment.Multiline
'b' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'V' Comment.Multiline
'i' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n' Text
'signature' Keyword.Reserved
' ' Text
'INTSYN' Name.Namespace
' ' Text
'=' Punctuation
'\n' Text
'sig' Keyword.Reserved
'\n\n ' Text
'type' Keyword.Reserved
' ' Text
'cid' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'int' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'mid' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'int' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'u' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'csid' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'int' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'S' Comment.Multiline
' ' Comment.Multiline
'm' Comment.Multiline
'o' Comment.Multiline
'd' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'FgnExp' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'exn' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'exception' Keyword.Reserved
' ' Text
'UnexpectedFgnExp' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'FgnExp' Name.Class
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'o' Comment.Multiline
'l' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'\n' Comment.Multiline
'\t' Comment.Multiline
'\t' Comment.Multiline
'\t' Comment.Multiline
'\t' Comment.Multiline
'\t' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'type' Name.Class
' ' Text
'FgnCnstr' Name.Class
' ' Text
'=' Name.Class
' ' Text
'exn' Name.Class
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'exception' Name.Class
' ' Text
'UnexpectedFgnCnstr' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'FgnCnstr' Name.Class
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'o' Comment.Multiline
'l' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'datatype' Name.Class
' ' Text
"'a" Name.Decorator
' ' Text
'Ctx' Name
' ' Text
'=' Punctuation
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Null' Name
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Name
' ' Text
'Decl' Name
' ' Text
'of' Keyword.Reserved
' ' Text
"'a" Name.Decorator
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
"'a" Name.Decorator
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n \n ' Text
'val' Keyword.Reserved
' ' Text
'ctxPop' Name.Variable
' ' Text
':' Punctuation
' ' Text
"'a" Name.Decorator
' ' Text
'Ctx' Name
' ' Text
'->' Punctuation
' ' Text
"'a" Name.Decorator
' ' Text
'Ctx' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'ctxLookup' Name.Variable
':' Punctuation
' ' Text
"'a" Name.Decorator
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'int' Name
' ' Text
'->' Punctuation
' ' Text
"'a" Name.Decorator
'\n ' Text
'val' Keyword.Reserved
' ' Text
'ctxLength' Name.Variable
':' Punctuation
' ' Text
"'a" Name.Decorator
' ' Text
'Ctx' Name
' ' Text
'->' Punctuation
' ' Text
'int' Name
'\n\n ' Text
'datatype' Keyword.Reserved
' ' Text
'Depend' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
'e' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'No' Name.Class
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'P' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'N' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Maybe' Name.Class
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'M' Comment.Multiline
'a' Comment.Multiline
'y' Comment.Multiline
'b' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Meta' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'M' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'' Text
'datatype' Keyword.Reserved
' ' Text
'Uni' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Kind' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'L' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'K' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Type' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'T' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'' Text
'datatype' Keyword.Reserved
' ' Text
'Exp' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'E' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Uni' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Uni' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'L' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Pi' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'(' Punctuation
'Dec' Name
' ' Text
'*' Name
' ' Text
'Depend' Name
')' Punctuation
' ' Text
'*' Name
' ' Text
'Exp' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'P' Comment.Multiline
'i' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'D' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'P' Comment.Multiline
')' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
'V' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Root' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Head' Name
' ' Text
'*' Name
' ' Text
'Spine' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'H' Comment.Multiline
' ' Comment.Multiline
'@' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Redex' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Spine' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
'@' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Lam' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Dec' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'm' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'EVar' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'option' Name
' ' Text
'ref' Name
' ' Text
'*' Name
' ' Text
'Dec' Name
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'(' Punctuation
'Cnstr' Name
' ' Text
'ref' Name
')' Punctuation
' ' Text
'list' Name
' ' Text
'ref' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'X' Comment.Multiline
'<' Comment.Multiline
'I' Comment.Multiline
'>' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
'|' Comment.Multiline
'-' Comment.Multiline
'V' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'EClo' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'AVar' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'option' Name
' ' Text
'ref' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
'<' Comment.Multiline
'I' Comment.Multiline
'>' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'|' Punctuation
' ' Text
'FgnExp' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'csid' Name
' ' Text
'*' Name
' ' Text
'FgnExp' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'|' Punctuation
' ' Text
'NVar' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'int' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'p' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'v' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'i' Comment.Multiline
'a' Comment.Multiline
'b' Comment.Multiline
'l' Comment.Multiline
'e' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'u' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Head' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'H' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
'd' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'BVar' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'int' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'H' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Const' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'cid' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Proj' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Block' Name
' ' Text
'*' Name
' ' Text
'int' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'#' Comment.Multiline
'k' Comment.Multiline
'(' Comment.Multiline
'b' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Skonst' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'cid' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'#' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Def' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'cid' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'i' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'NSDef' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'cid' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'n' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'i' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'FVar' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'FgnConst' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'csid' Name
' ' Text
'*' Name
' ' Text
'ConDec' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Spine' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'p' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Nil' Name.Class
'\t\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'N' Comment.Multiline
'i' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'App' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Spine' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
';' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'SClo' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Spine' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Sub' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'E' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'c' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Shift' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'int' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'^' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Dot' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Front' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
't' Comment.Multiline
'.' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Front' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
'r' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Idx' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'int' Name
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Exp' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Axp' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Block' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Block' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'_' Comment.Multiline
'x' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Undef' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'_' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Dec' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Dec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'x' Comment.Multiline
':' Comment.Multiline
'V' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'BDec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'(' Punctuation
'cid' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
')' Punctuation
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'v' Comment.Multiline
':' Comment.Multiline
'l' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'ADec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'int' Name
'\t ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'v' Comment.Multiline
'[' Comment.Multiline
'^' Comment.Multiline
'-' Comment.Multiline
'd' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'NDec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'option' Name
' \n\n ' Text
'and' Keyword.Reserved
' ' Text
'Block' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
'c' Comment.Multiline
'k' Comment.Multiline
's' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Bidx' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'int' Name
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'v' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'LVar' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Block' Name
' ' Text
'option' Name
' ' Text
'ref' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' ' Text
'*' Name
' ' Text
'(' Punctuation
'cid' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
')' Punctuation
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'L' Comment.Multiline
'(' Comment.Multiline
'l' Comment.Multiline
'[' Comment.Multiline
'^' Comment.Multiline
'k' Comment.Multiline
']' Comment.Multiline
',' Comment.Multiline
't' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Inst' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'list' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
'1' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'.' Comment.Multiline
'.' Comment.Multiline
'.' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'I' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'o' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'a' Comment.Multiline
'v' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'o' Comment.Multiline
'j' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'k' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'a' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'I' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'h' Comment.Multiline
'i' Comment.Multiline
'c' Comment.Multiline
'h' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'o' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'm' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
's' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'\n' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'I' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'g' Comment.Multiline
'g' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'o' Comment.Multiline
'w' Comment.Multiline
'e' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'n' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'h' Comment.Multiline
'a' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
'\n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'y' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'm' Comment.Multiline
' ' Comment.Multiline
'-' Comment.Multiline
'-' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n\n' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
'C' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
'c' Comment.Multiline
'k' Comment.Multiline
' ' Comment.Multiline
'*' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'b' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Cnstr' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Solved' Name.Class
' \t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
':' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'o' Comment.Multiline
'l' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Eqn' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Dec' Name
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
'|' Comment.Multiline
'-' Comment.Multiline
'(' Comment.Multiline
'U' Comment.Multiline
'1' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
'2' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'FgnCnstr' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'csid' Name
' ' Text
'*' Name
' ' Text
'FgnCnstr' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Status' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Normal' Name.Class
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Constraint' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'csid' Name
' ' Text
'*' Name
' ' Text
'(' Punctuation
'Dec' Name
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'Spine' Name
' ' Text
'*' Name
' ' Text
'int' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
' ' Text
'option' Name
')' Punctuation
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Foreign' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'csid' Name
' ' Text
'*' Name
' ' Text
'(' Punctuation
'Spine' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
')' Punctuation
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'FgnUnify' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'R' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'l' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Succeed' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'FgnUnifyResidual' Name
' ' Text
'list' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'c' Comment.Multiline
'c' Comment.Multiline
'e' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
'u' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Fail' Name.Class
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'FgnUnifyResidual' Keyword.Type
' ' Text
'=' Punctuation
'\n ' Text
'Assign' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Dec' Name
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
'm' Comment.Multiline
'e' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
'-' Comment.Multiline
' ' Comment.Multiline
'X' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Delay' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Cnstr' Name
' ' Text
'ref' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'o' Comment.Multiline
'c' Comment.Multiline
'i' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'E' Comment.Multiline
'V' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
'b' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'ConDec' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'ConDec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'int' Name
' ' Text
'*' Name
' ' Text
'Status' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'K' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Uni' Name
'\t ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'ConDef' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'int' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'K' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Uni' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'M' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'*' Name
' ' Text
'Ancestor' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'AbbrevDef' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'int' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'K' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Uni' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'M' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'BlockDec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'%' Comment.Multiline
'b' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
'c' Comment.Multiline
'k' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
'O' Comment.Multiline
'M' Comment.Multiline
'E' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
'1' Comment.Multiline
' ' Comment.Multiline
'P' Comment.Multiline
'I' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
'2' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'*' Name
' ' Text
'Dec' Name
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'Dec' Name
' ' Text
'list' Name
'\n ' Text
'|' Punctuation
' ' Text
'BlockDef' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'cid' Name
' ' Text
'list' Name
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'%' Comment.Multiline
'b' Comment.Multiline
'l' Comment.Multiline
'o' Comment.Multiline
'c' Comment.Multiline
'k' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'l' Comment.Multiline
'1' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'.' Comment.Multiline
'.' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'l' Comment.Multiline
'n' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'SkoDec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'int' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'a' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'K' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Uni' Name
'\t ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'c' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
':' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'and' Keyword.Reserved
' ' Text
'Ancestor' Keyword.Type
' ' Text
'=' Punctuation
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'Anc' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'cid' Name
' ' Text
'option' Name
' ' Text
'*' Name
' ' Text
'int' Name
' ' Text
'*' Name
' ' Text
'cid' Name
' ' Text
'option' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
'd' Comment.Multiline
'(' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'(' Comment.Multiline
'd' Comment.Multiline
')' Comment.Multiline
')' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'h' Comment.Multiline
't' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
'd' Comment.Multiline
'(' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'[' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'h' Comment.Multiline
't' Comment.Multiline
']' Comment.Multiline
'(' Comment.Multiline
'd' Comment.Multiline
')' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'N' Comment.Multiline
'O' Comment.Multiline
'N' Comment.Multiline
'E' Comment.Multiline
' ' Comment.Multiline
'm' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'{' Comment.Multiline
'x' Comment.Multiline
':' Comment.Multiline
'A' Comment.Multiline
'}' Comment.Multiline
'B' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'' Text
'datatype' Keyword.Reserved
' ' Text
'StrDec' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'S' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'u' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'StrDec' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name
' ' Text
'*' Name
' ' Text
'mid' Name
' ' Text
'option' Name
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'datatype' Keyword.Reserved
' ' Text
'ConDecForm' Keyword.Type
' ' Text
'=' Punctuation
'\n ' Text
'FromCS' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'r' Comment.Multiline
'o' Comment.Multiline
'm' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'o' Comment.Multiline
'm' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Ordinary' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'd' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'|' Punctuation
' ' Text
'Clause' Name.Class
'\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'%' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'u' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'T' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'b' Comment.Multiline
'b' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'v' Comment.Multiline
'i' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'dctx' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'Dec' Name
' ' Text
'Ctx' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
'|' Comment.Multiline
' ' Comment.Multiline
'G' Comment.Multiline
',' Comment.Multiline
'D' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'eclo' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'Exp' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' \t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'bclo' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'Block' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' \t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'=' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'type' Keyword.Reserved
' ' Text
'cnstr' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'Cnstr' Name
' ' Text
'ref' Name
'\n\n ' Text
'' Text
'exception' Keyword.Reserved
' ' Text
'Error' Name.Class
' ' Text
'of' Keyword.Reserved
' ' Text
'string' Name.Class
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'u' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
'c' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Name.Class
' ' Text
'FgnExpStd' Name.Class
' ' Text
':' Name.Class
' ' Text
'sig' Name.Class
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'n' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'y' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'x' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Name.Class
' ' Text
'ToInternal' Name.Class
' ' Text
':' Name.Class
' ' Text
'FGN_OPN' Name.Class
' ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'arg' Name.Class
' ' Text
'=' Name.Class
' ' Text
'unit' Name.Class
'\n ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'result' Name.Class
' ' Text
'=' Name.Class
' ' Text
'Exp' Name.Class
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'p' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Name.Class
' ' Text
'Map' Name.Class
' ' Text
':' Name.Class
' ' Text
'FGN_OPN' Name.Class
' ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'arg' Name.Class
' ' Text
'=' Name.Class
' ' Text
'Exp' Name.Class
' ' Text
'->' Name.Class
' ' Text
'Exp' Name.Class
'\n\t\t\t ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'result' Name.Class
' ' Text
'=' Name.Class
' ' Text
'Exp' Name.Class
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'p' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
's' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'f' Comment.Multiline
'f' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Name.Class
' ' Text
'App' Name.Class
' ' Text
':' Name.Class
' ' Text
'FGN_OPN' Name.Class
' ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'arg' Name.Class
' ' Text
'=' Name.Class
' ' Text
'Exp' Name.Class
' ' Text
'->' Name.Class
' ' Text
'unit' Name.Class
'\n\t\t\t ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'result' Name.Class
' ' Text
'=' Name.Class
' ' Text
'unit' Name.Class
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'q' Comment.Multiline
'u' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Name.Class
' ' Text
'EqualTo' Name.Class
' ' Text
':' Name.Class
' ' Text
'FGN_OPN' Name.Class
' ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'arg' Name.Class
' ' Text
'=' Name.Class
' ' Text
'Exp' Name.Class
'\n ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'result' Name.Class
' ' Text
'=' Name.Class
' ' Text
'bool' Name.Class
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'w' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'o' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Name.Class
' ' Text
'UnifyWith' Name.Class
' ' Text
':' Name.Class
' ' Text
'FGN_OPN' Name.Class
' ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'arg' Name.Class
' ' Text
'=' Name.Class
' ' Text
'Dec' Name.Class
' ' Text
'Ctx' Name.Class
' ' Text
'*' Name.Class
' ' Text
'Exp' Name.Class
'\n ' Text
'where' Name.Class
' ' Text
'type' Name.Class
' ' Text
'result' Name.Class
' ' Text
'=' Name.Class
' ' Text
'FgnUnify' Name.Class
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'l' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'h' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'm' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Name.Class
' ' Text
'fold' Name.Class
' ' Text
':' Name.Class
' ' Text
'(' Punctuation
'csid' Name
' ' Text
'*' Name
' ' Text
'FgnExp' Name
')' Punctuation
' ' Text
'->' Punctuation
' ' Text
'(' Punctuation
'Exp' Name
' ' Text
'*' Name
' ' Text
"'a" Name.Decorator
' ' Text
'->' Punctuation
' ' Text
"'a" Name.Decorator
')' Punctuation
' ' Text
'->' Punctuation
' ' Text
"'a" Name.Decorator
' ' Text
'->' Punctuation
' ' Text
"'a" Name.Decorator
'\n ' Text
'end' Keyword.Reserved
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Keyword.Reserved
' ' Text
'FgnCnstrStd' Name.Namespace
' ' Text
':' Punctuation
' ' Text
'sig' Keyword.Reserved
'\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
'v' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'r' Comment.Multiline
'n' Comment.Multiline
'a' Comment.Multiline
'l' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'y' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'x' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'structure' Keyword.Reserved
' ' Text
'ToInternal' Name.Namespace
' ' Text
':' Punctuation
' ' Text
'FGN_OPN' Name
' ' Text
'where' Keyword.Reserved
' ' Text
'type' Keyword.Reserved
' ' Text
'arg' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'unit' Name
'\n ' Text
'' Text
'where' Keyword.Reserved
' ' Text
'type' Keyword.Reserved
' ' Text
'result' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'(' Punctuation
'Dec' Name
' ' Text
'Ctx' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
')' Punctuation
' ' Text
'list' Name
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'a' Comment.Multiline
'w' Comment.Multiline
'a' Comment.Multiline
'k' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'structure' Keyword.Reserved
' ' Text
'Awake' Name.Namespace
' ' Text
':' Punctuation
' ' Text
'FGN_OPN' Name
' ' Text
'where' Keyword.Reserved
' ' Text
'type' Keyword.Reserved
' ' Text
'arg' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'unit' Name
'\n ' Text
'' Text
'where' Keyword.Reserved
' ' Text
'type' Keyword.Reserved
' ' Text
'result' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'bool' Name
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'm' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'f' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'' Text
'structure' Keyword.Reserved
' ' Text
'Simplify' Name.Namespace
' ' Text
':' Punctuation
' ' Text
'FGN_OPN' Name
' ' Text
'where' Keyword.Reserved
' ' Text
'type' Keyword.Reserved
' ' Text
'arg' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'unit' Name
'\n ' Text
'' Text
'where' Keyword.Reserved
' ' Text
'type' Keyword.Reserved
' ' Text
'result' Keyword.Type
' ' Text
'=' Punctuation
' ' Text
'bool' Name
'\n ' Text
'' Text
'end' Keyword.Reserved
'\n \n ' Text
'val' Keyword.Reserved
' ' Text
'conDecName' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'string' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'conDecParent' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'mid' Name
' ' Text
'option' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'conDecImp' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'int' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'conDecStatus' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'Status' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'conDecType' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'conDecBlock' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'dctx' Name
' ' Text
'*' Name
' ' Text
'Dec' Name
' ' Text
'list' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'conDecUni' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'Uni' Name
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'strDecName' Name.Variable
' ' Text
':' Punctuation
' ' Text
'StrDec' Name
' ' Text
'->' Punctuation
' ' Text
'string' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'strDecParent' Name.Variable
' ' Text
':' Punctuation
' ' Text
'StrDec' Name
' ' Text
'->' Punctuation
' ' Text
'mid' Name
' ' Text
'option' Name
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnReset' Name.Variable
' ' Text
':' Punctuation
' ' Text
'unit' Name
' ' Text
'->' Punctuation
' ' Text
'unit' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnSize' Name.Variable
' ' Text
':' Punctuation
' ' Text
'unit' Name
' ' Text
'->' Punctuation
' ' Text
'cid' Name
' ' Text
'*' Name
' ' Text
'mid' Name
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnAdd' Name.Variable
' ' Text
':' Punctuation
' ' Text
'ConDec' Name
' ' Text
'->' Punctuation
' ' Text
'cid' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnLookup' Name.Variable
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'ConDec' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnApp' Name.Variable
' ' Text
':' Punctuation
' ' Text
'(' Punctuation
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'unit' Name
')' Punctuation
' ' Text
'->' Punctuation
' ' Text
'unit' Name
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnStructAdd' Name.Variable
' ' Text
':' Punctuation
' ' Text
'StrDec' Name
' ' Text
'->' Punctuation
' ' Text
'mid' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'sgnStructLookup' Name.Variable
' ' Text
':' Punctuation
' ' Text
'mid' Name
' ' Text
'->' Punctuation
' ' Text
'StrDec' Name
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'constType' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'constDef' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'f' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'constImp' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'int' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'constStatus' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'Status' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'constUni' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'Uni' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'constBlock' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'dctx' Name
' ' Text
'*' Name
' ' Text
'Dec' Name
' ' Text
'list' Name
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'C' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
't' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'ctxDec' Name.Variable
' ' Text
':' Punctuation
' ' Text
'dctx' Name
' ' Text
'*' Name
' ' Text
'int' Name
' ' Text
'->' Punctuation
' ' Text
'Dec' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'g' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'v' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'i' Comment.Multiline
'a' Comment.Multiline
'b' Comment.Multiline
'l' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'c' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'blockDec' Name.Variable
' ' Text
':' Punctuation
' ' Text
'dctx' Name
' ' Text
'*' Name
' ' Text
'Block' Name
' ' Text
'*' Name
' ' Text
'int' Name
' ' Text
'->' Punctuation
' ' Text
'Dec' Name
' \n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'E' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
'c' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'u' Comment.Multiline
'b' Comment.Multiline
's' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'id' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'shift' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
'\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'^' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'invShift' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'^' Comment.Multiline
'-' Comment.Multiline
'1' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'bvarSub' Name.Variable
' ' Text
':' Punctuation
' ' Text
'int' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Front' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'k' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'frontSub' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Front' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Front' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'H' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'decSub' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Dec' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Dec' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'x' Comment.Multiline
':' Comment.Multiline
'V' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'blockSub' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Block' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Block' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
'[' Comment.Multiline
's' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'comp' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Sub' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
"'" Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'dot1' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Sub' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'1' Comment.Multiline
' ' Comment.Multiline
'.' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'^' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'invDot1' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
' ' Text
'->' Punctuation
' ' Text
'Sub' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'^' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
' ' Comment.Multiline
'^' Comment.Multiline
'-' Comment.Multiline
'1' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'E' Comment.Multiline
'V' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'val' Keyword.Reserved
' ' Text
'newEVar' Name.Variable
' ' Text
':' Punctuation
' ' Text
'dctx' Name
' ' Text
'*' Name
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
'\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'X' Comment.Multiline
':' Comment.Multiline
'G' Comment.Multiline
'|' Comment.Multiline
'-' Comment.Multiline
'V' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'[' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
' \n ' Text
'val' Keyword.Reserved
' ' Text
'newAVar' Name.Variable
' ' Text
':' Punctuation
' ' Text
'unit' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
'\t ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'A' Comment.Multiline
' ' Comment.Multiline
'(' Comment.Multiline
'b' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
' \n ' Text
'val' Keyword.Reserved
' ' Text
'newTypeVar' Name.Variable
' ' Text
':' Punctuation
' ' Text
'dctx' Name
' ' Text
'->' Punctuation
' ' Text
'Exp' Name
'\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'X' Comment.Multiline
':' Comment.Multiline
'G' Comment.Multiline
'|' Comment.Multiline
'-' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
',' Comment.Multiline
' ' Comment.Multiline
'[' Comment.Multiline
']' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'newLVar' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Sub' Name
' ' Text
'*' Name
' ' Text
'(' Punctuation
'cid' Name
' ' Text
'*' Name
' ' Text
'Sub' Name
')' Punctuation
' ' Text
'->' Punctuation
' ' Text
'Block' Name
'\t\n\t\t\t\t\t' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'c' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'B' Comment.Multiline
':' Comment.Multiline
'(' Comment.Multiline
'l' Comment.Multiline
'[' Comment.Multiline
'^' Comment.Multiline
'k' Comment.Multiline
']' Comment.Multiline
',' Comment.Multiline
't' Comment.Multiline
')' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
' \n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'D' Comment.Multiline
'e' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'headOpt' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'Head' Name
' ' Text
'option' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'ancestor' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'Ancestor' Name
'\n ' Text
'val' Keyword.Reserved
' ' Text
'defAncestor' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'->' Punctuation
' ' Text
'Ancestor' Name
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'T' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
'l' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'u' Comment.Multiline
'n' Comment.Multiline
'c' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'N' Comment.Multiline
'o' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'e' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'targetHeadOpt' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'Head' Name
' ' Text
'option' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'a' Comment.Multiline
'm' Comment.Multiline
'i' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'N' Comment.Multiline
'O' Comment.Multiline
'N' Comment.Multiline
'E' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'targetHead' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'Head' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'a' Comment.Multiline
'm' Comment.Multiline
'i' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'E' Comment.Multiline
'x' Comment.Multiline
'p' Comment.Multiline
'a' Comment.Multiline
'n' Comment.Multiline
'd' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'g' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'd' Comment.Multiline
'e' Comment.Multiline
'f' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
'i' Comment.Multiline
'o' Comment.Multiline
'n' Comment.Multiline
's' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'targetFamOpt' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'cid' Name
' ' Text
'option' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'a' Comment.Multiline
'm' Comment.Multiline
'i' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
'o' Comment.Multiline
'r' Comment.Multiline
' ' Comment.Multiline
'N' Comment.Multiline
'O' Comment.Multiline
'N' Comment.Multiline
'E' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'targetFam' Name.Variable
' ' Text
':' Punctuation
' ' Text
'Exp' Name
' ' Text
'->' Punctuation
' ' Text
'cid' Name
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'a' Comment.Multiline
'r' Comment.Multiline
'g' Comment.Multiline
'e' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
't' Comment.Multiline
'y' Comment.Multiline
'p' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'f' Comment.Multiline
'a' Comment.Multiline
'm' Comment.Multiline
'i' Comment.Multiline
'l' Comment.Multiline
'y' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n\n ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
'U' Comment.Multiline
's' Comment.Multiline
'e' Comment.Multiline
'd' Comment.Multiline
' ' Comment.Multiline
'i' Comment.Multiline
'n' Comment.Multiline
' ' Comment.Multiline
'F' Comment.Multiline
'l' Comment.Multiline
'i' Comment.Multiline
't' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n ' Text
'val' Keyword.Reserved
' ' Text
'rename' Name.Variable
' ' Text
':' Punctuation
' ' Text
'cid' Name
' ' Text
'*' Name
' ' Text
'string' Name
' ' Text
'->' Punctuation
' ' Text
'unit' Name
'\n\n' Text
'end' Keyword.Reserved
';' Punctuation
' ' Text
'(*' Comment.Multiline
' ' Comment.Multiline
's' Comment.Multiline
'i' Comment.Multiline
'g' Comment.Multiline
'n' Comment.Multiline
'a' Comment.Multiline
't' Comment.Multiline
'u' Comment.Multiline
'r' Comment.Multiline
'e' Comment.Multiline
' ' Comment.Multiline
'I' Comment.Multiline
'N' Comment.Multiline
'T' Comment.Multiline
'S' Comment.Multiline
'Y' Comment.Multiline
'N' Comment.Multiline
' ' Comment.Multiline
'*)' Comment.Multiline
'\n' Text
Reference in a new issue View git blame Copy permalink