<?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>