source: Deliverables/D4.2-4.3/utilities/Compare.ma @ 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: 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.