source: src/utilities/adt/ordering.ma @ 1208

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

added adts for sets, tables and priority sets in order to make life easier when working on the interference graph code

File size: 214 bytes
Line 
1include "basics/types.ma".
2
3inductive order: Type[0] ≝
4  | order_lt: order
5  | order_gt: order
6  | order_eq: order.
7
8record ordered (elt_type: Type[0]): Type[1] ≝
9{
10  order: elt_type → elt_type → order
11}.
12
Note: See TracBrowser for help on using the repository browser.