Enumerations: Difference between revisions
Added 11l
No edit summary |
Alextretyak (talk | contribs) (Added 11l) |
||
Line 4:
Create an enumeration of constants with and without explicit values.
<br><br>
=={{header|11l}}==
<lang 11l>T.enum TokenCategory
NAME
KEYWORD
CONSTANT
TEST_CATEGORY = 10</lang>
=={{header|ACL2}}==
|