source: src/utilities/adt/ordering.ma

Last change on this file was 1208, checked in by mulligan, 9 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.