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