source: src/utilities/IdentifierTools.ma @ 778

Last change on this file since 778 was 735, checked in by mulligan, 10 years ago

Changes from today

File size: 374 bytes
Line 
1include "utilities/Compare.ma".
2include "utilities/BitVectorTrieSet.ma".
3include "common/AST.ma".
4
5axiom compare: Identifier → Identifier → Compare.
6definition IdentifierSet ≝ BitVectorTrieSet 8.
7axiom Universe: Type[0].
8axiom fresh_prefix: IdentifierSet → Identifier → Identifier.
9axiom new_universe: Identifier → Universe.
10axiom fresh: Universe → Identifier.
Note: See TracBrowser for help on using the repository browser.