source: src/utilities/Compare.ma @ 1054

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

Initial commit of (part)-formalisation of LIN intermediate language.
File size: 198 bytes
Line 
1include "basics/logic.ma".
2
3inductive Compare: Type[0] ≝
4  Compare_Equal: Compare
5| Compare_Less: Compare
6| Compare_Greater: Compare
7| Compare_LessEqual: Compare
8| Compare_GreaterEqual: Compare.
9
Note: See TracBrowser for help on using the repository browser.