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