source: src/utilities/adt/equal.ma @ 2226

Last change on this file since 2226 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: 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.