"NameBuiltin"/>
      </rule>
      <rule pattern="(trace )">
        <token type="NameBuiltin"/>
      </rule>
      <rule pattern="(fstPair |sndPair )">
        <token type="NameBuiltin"/>
      </rule>
      <rule pattern="(chooseList |mkCons |headList |tailList |nullList )">
        <token type="NameBuiltin"/>
      </rule>
      <rule pattern="(chooseData |constrData |mapData |listData |iData |bData |unConstrData |unMapData |unListData |unIData |unBData |equalsData )">
        <token type="NameBuiltin"/>
      </rule>
      <rule pattern="(mkPairData |mkNilData |mkNilPairData )">
        <token type="NameBuiltin"/>
      </rule>
      <rule pattern="([a-zA-Z][a-zA-Z0-9_&#39;]*)">
        <token type="Name"/>
      </rule>
      <rule pattern="&#34;">
        <token type="LiteralStringDouble"/>
        <push state="string"/>
      </rule>
    </state>
    <state name="string">
      <rule pattern="[^\\&#34;]+">
        <token type="LiteralStringDouble"/>
      </rule>
      <rule pattern="&#34;">
        <token type="LiteralStringDouble"/>
        <pop depth="1"/>
      </rule>
    </state>
  </rules>
</lexer>