Changeset 1082 for src/common
- Timestamp:
- Jul 20, 2011, 5:17:38 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/Graphs.ma
r1080 r1082 3 3 include "ASM/BitVectorTrie.ma". 4 4 include "common/Identifiers.ma". 5 include "common/AST.ma". 5 6 6 7 axiom LabelTag : String. 7 8 8 9 definition label ≝ identifier LabelTag. 10 11 (* o'caml compiler doesn't make distinction between idents and labels *) 12 definition label_to_ident: label → ident ≝ 13 λl. 14 match l with 15 [ an_identifier l ⇒ an_identifier SymbolTag l 16 ]. 9 17 10 18 definition label_eq : ∀x,y:label. (x=y) + (x≠y) ≝ identifier_eq ?.
Note: See TracChangeset
for help on using the changeset viewer.