[splint.git] / test / manual / intSet.h

typedef /*@abstract@*/ struct
{
  int nelements;
  int *elements;
} *intSet ;

extern intSet intSet_new (void);
Commit	Line	Data
77970e15	1	typedef /@abstract@/ struct
	2	{
	3	int nelements;
	4	int *elements;
	5	} *intSet ;
	6
	7	extern intSet intSet_new (void);