]>
Commit | Line | Data |
---|---|---|
1 | # include "bool.h" | |
2 | ||
3 | typedef struct s_abst *abst; | |
4 | ||
5 | typedef struct | |
6 | { | |
7 | char *name; | |
8 | int val; | |
9 | } *immut; | |
10 | ||
11 | struct s_abst | |
12 | { | |
13 | char *name; | |
14 | int val; | |
15 | /*@dependent@*/ abst parent; | |
16 | immut im; | |
17 | } ; | |
18 | ||
19 | ||
20 | # include "repexpose.lh" |