test/repexpose.h

   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"