]>
Commit | Line | Data |
---|---|---|
885824d3 | 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 |