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

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

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

File size: 313 bytes
Line 
1include "cerco/String.ma".
2include "cerco-intermediate-languages/utilities/Compare.ma".
3
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.