2018-07-31 10:24:30 -05:00
|
|
|
FILE@[0; 16)
|
2018-08-13 10:27:26 -05:00
|
|
|
TRAIT_DEF@[0; 15)
|
2018-07-31 10:24:30 -05:00
|
|
|
AUTO_KW@[0; 4)
|
|
|
|
WHITESPACE@[4; 5)
|
|
|
|
TRAIT_KW@[5; 10)
|
2018-08-05 14:06:34 -05:00
|
|
|
WHITESPACE@[10; 11)
|
|
|
|
NAME@[11; 12)
|
2018-07-31 10:24:30 -05:00
|
|
|
IDENT@[11; 12) "T"
|
2018-08-05 14:06:34 -05:00
|
|
|
WHITESPACE@[12; 13)
|
2018-07-31 10:24:30 -05:00
|
|
|
L_CURLY@[13; 14)
|
|
|
|
R_CURLY@[14; 15)
|
2018-08-05 14:06:34 -05:00
|
|
|
WHITESPACE@[15; 16)
|