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