source: tests/avltree/avl0.c @ bf71cfd

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprno_listpersistent-indexerpthread-emulationqualifiedEnum
Last change on this file since bf71cfd was bf71cfd, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Moved up many directories in source

  • Property mode set to 100644
File size: 185 bytes
Line 
1#include "avl.h"
2
3forall(otype T | Comparable(T))
4int ?==?(T t1, T t2) {
5  return !(t1 < t2) && !(t2 < t1);
6}
7
8forall(otype T | Comparable(T))
9int ?>?(T t1, T t2) {
10  return t2 < t1;
11}
Note: See TracBrowser for help on using the repository browser.