source: src/common/Order.ma @ 2486

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

more stuff added

File size: 117 bytes
Line 
1include "basics/types.ma".
2
3inductive order: Type[0] ≝
4  | order_lt: order
5  | order_eq: order
6  | order_gt: order.
Note: See TracBrowser for help on using the repository browser.