source: src/common/Graphs.ma @ 955

Last change on this file since 955 was 746, checked in by mulligan, 10 years ago

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

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