source: src/utilities/adt/ordering.ma

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