source: src/common/Graphs.ma @ 736

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

Extra type safety for identifiers.

File size: 305 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] ≝ IdentifierMap LabelTag.
Note: See TracBrowser for help on using the repository browser.