Changeset 2645 for src/common/PreIdentifiers.ma
- Timestamp:
- Feb 7, 2013, 9:22:22 PM (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/PreIdentifiers.ma
r1515 r2645 6 6 7 7 include "basics/types.ma". 8 include "ASM/String.ma".9 8 include "utilities/binary/positive.ma". 10 9 … … 12 11 provide extra type checking. *) 13 12 14 inductive identifier (tag:String) : Type[0] ≝ 13 inductive identifierTag: Type[0] ≝ 14 Label : identifierTag 15 | CostTag : identifierTag 16 | RegisterTag : identifierTag 17 | LabelTag : identifierTag 18 | SymbolTag : identifierTag. 19 20 inductive identifier (tag:identifierTag) : Type[0] ≝ 15 21 an_identifier : Pos → identifier tag.
Note: See TracChangeset
for help on using the changeset viewer.