source: src/common/Graphs.ma @ 738

Last change on this file since 738 was 738, checked in by campbell, 9 years ago

Use lower case names for identifiers for consistency with CompCert? derived code
and to prevent confusion with the back-end equivalents until they're all merged.

File size: 306 bytes
Line 
1include "basics/types.ma".
2
3include "ASM/BitVectorTrie.ma".
4include "common/Identifiers.ma".
5
6axiom LabelTag : String.
7
8definition label ≝ identifier LabelTag.
9
10definition label_eq : ∀x,y:label. (x=y) + (x≠y) ≝ identifier_eq ?.
11
12
13definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.
Note: See TracBrowser for help on using the repository browser.