+<?xml version="1.0"?>
+<!DOCTYPE MODE SYSTEM "xmode.dtd">
+<MODE>
+ <PROPS>
+ <PROPERTY NAME="lineComment" VALUE="//" />
+ <PROPERTY NAME="commentStart" VALUE="/*" />
+ <PROPERTY NAME="commentEnd" VALUE="*/" />
+ <PROPERTY NAME="indentOpenBrackets" VALUE="{" />
+ <PROPERTY NAME="indentCloseBrackets" VALUE="}" />
+ <PROPERTY NAME="wordBreakChars" VALUE=",+-=<>/?^&*" />
+ <PROPERTY NAME="unalignedOpenBrackets" VALUE="(<" />
+ <PROPERTY NAME="unalignedCloseBrackets" VALUE=")>" />
+ </PROPS>
+ <RULES IGNORE_CASE="FALSE" HIGHLIGHT_DIGITS="TRUE">
+ <EOL_SPAN TYPE="COMMENT1">//</EOL_SPAN>
+ <SPAN TYPE="COMMENT1">
+ <BEGIN>/*</BEGIN>
+ <END>*/</END>
+ </SPAN>
+ <SPAN TYPE="LITERAL1" NO_LINE_BREAK="TRUE" ESCAPE="\">
+ <BEGIN>"</BEGIN>
+ <END>"</END>
+ </SPAN>
+ <KEYWORDS>
+ <KEYWORD1>let</KEYWORD1>
+ <KEYWORD1>def</KEYWORD1>
+ <KEYWORD1>class</KEYWORD1>
+ <KEYWORD1>include</KEYWORD1>
+
+ <KEYWORD3>bit</KEYWORD3>
+ <KEYWORD3>int</KEYWORD3>
+ <KEYWORD3>string</KEYWORD3>
+ <KEYWORD3>bits</KEYWORD3>
+ <KEYWORD3>list</KEYWORD3>
+ <KEYWORD3>dag</KEYWORD3>
+ <KEYWORD3>code</KEYWORD3>
+ </KEYWORDS>
+ </RULES>
+</MODE>