test/repexpose.lcl

   1 mutable type abst ;
   2 immutable type immut ;
   3
   4 char **globstring;
   5
   6 only abst abst_create (dependent abst p, only char *x, int i)
   7    char **globstring; { }
   8
   9 only char *abst_name (abst a) { }
  10 int abst_val (abst a) { }
  11 int *abst_aval (abst a) { }
  12 only abst abst_parent (only abst a) { }
  13 dependent char *immut_name (immut im) { }
  14 void abst_setIm (abst a, immut im) { }
  15 immut abst_getIm (abst a) { }
  16
  17