source: Deliverables/D4.2-4.3/utilities/ @ 491

Last change on this file since 491 was 491, checked in by mulligan, 8 years ago

Initial commit of (part)-formalisation of LIN intermediate language.

File size: 313 bytes
1include "cerco/".
2include "cerco-intermediate-languages/utilities/".
4axiom compare: String → String → Compare.
5axiom StringSet: Type[0].
6axiom Universe: Type[0].
7axiom fresh_prefix: StringSet → String → String.
8axiom new_universe: String → Universe.
9axiom fresh: Universe → String.
Note: See TracBrowser for help on using the repository browser.