[splint.git] / src / Headers / quantifiedTermNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/

typedef struct {
  quantifierNodeList quantifiers;
  ltoken open; /* for ease of debugging */
  termNode body;
  ltoken close; /* for ease of debugging */
} *quantifiedTermNode;
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
28bf4b0b	7	typedef struct {
885824d3	8	quantifierNodeList quantifiers;
885824d3	9	ltoken open; /* for ease of debugging */
28bf4b0b	10	termNode body;
885824d3	11	ltoken close; /* for ease of debugging */
	12	} *quantifiedTermNode;
	13