source: src/common/Graphs.ma @ 880

Last change on this file since 880 was 746, checked in by mulligan, 9 years ago

Changes to bitvectortrieset: equality on sets. Added new file for translation of variable set functor. other small changes.

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
12definition graph : Type[0] → Type[0] ≝ identifier_map LabelTag.
Note: See TracBrowser for help on using the repository browser.