source:
src/utilities/IdentifierTools.ma
@
1238
| Last change on this file since 1238 was 735, checked in by , 10 years ago | |
|---|---|
| File size: 374 bytes | |
| Rev | Line | |
|---|---|---|
| [699] | 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. | |
| [735] | 10 | axiom fresh: Universe → Identifier. |
Note: See TracBrowser
for help on using the repository browser.
