source: src/utilities/adt/equal.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: 125 bytes
Line 
1include "basics/types.ma".
2include "basics/bool.ma".
3
4record equal (a: Type[0]): Type[1] ≝
5{
6  equal: a → a → bool
7}.
8
Note: See TracBrowser for help on using the repository browser.