source:
src/utilities/IdentifierTools.ma
@
1183
Last change on this file since 1183 was 735, checked in by , 10 years ago | |
---|---|
File size: 374 bytes |
Line | |
---|---|
1 | include "utilities/Compare.ma". |
2 | include "utilities/BitVectorTrieSet.ma". |
3 | include "common/AST.ma". |
4 | |
5 | axiom compare: Identifier → Identifier → Compare. |
6 | definition IdentifierSet ≝ BitVectorTrieSet 8. |
7 | axiom Universe: Type[0]. |
8 | axiom fresh_prefix: IdentifierSet → Identifier → Identifier. |
9 | axiom new_universe: Identifier → Universe. |
10 | axiom fresh: Universe → Identifier. |
Note: See TracBrowser
for help on using the repository browser.