test/alias5.lcl

   1 mutable type pair;
   2
   3 void incx1 (pair p) { }
   4 void incx2 (pair p) { }
   5 void incx3 (pair p) { }
   6 void incx4 (pair p) { }
   7
   8 only pair pair_create (void) { }
   9 void pair_free (out only pair p) { modifies p; }