1// This file was generated by lezer-generator. You probably shouldn't edit it.
2export const
3  Program = 1,
4  KeywordControl = 2,
5  SupportFunction = 3,
6  KeywordOther = 4,
7  EntityNameType = 5,
8  ReasoningPhrase = 6,
9  Comment = 7,
10  OpenParen = 8,
11  CloseParen = 9,
12  OpenBrace = 10,
13  CloseBrace = 11,
14  OpenBracket = 12,
15  CloseBracket = 13,
16  DefinitionBlock = 14,
17  Proof = 15,
18  NowBlock = 16,
19  HerebyBlock = 17
20