Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • tests/avltree/avl0.cfa

    rfd54fef r107b01a  
    11#include "avl.h"
    22
    3 forall(T | Comparable(T))
     3forall(otype T | Comparable(T))
    44int ?==?(T t1, T t2) {
    55  return !(t1 < t2) && !(t2 < t1);
    66}
    77
    8 forall(T | Comparable(T))
     8forall(otype T | Comparable(T))
    99int ?>?(T t1, T t2) {
    1010  return t2 < t1;
Note: See TracChangeset for help on using the changeset viewer.