source: tests/avltree/ @ fd54fef

Last change on this file since fd54fef was fd54fef, checked in by Michael Brooks <mlbrooks@…>, 2 years ago

Converting the project to use the new syntax for otype, dtype and ttytpe.

Changed prelude (gen), libcfa and test suite to use it. Added a simple deprecation rule of the old syntax to the parser; we might wish to support both syntaxes "officially," like with an extra CLI switch, but this measure should serve as a simple reminder for our team to try the new syntax.

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