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

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

typedef struct {
  ltoken varid;
  /*@null@*/ lclTypeSpecNode sortspec;
  termNode term;
  sort sort;
} *letDeclNode;

extern void letDeclNode_free (/*@only@*/ /*@null@*/ letDeclNode p_x);
Commit	Line	Data
885824d3	1	/*
28bf4b0b	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6
28bf4b0b	7	typedef struct {
885824d3	8	ltoken varid;
885824d3	9	/@null@/ lclTypeSpecNode sortspec;
28bf4b0b	10	termNode term;
885824d3	11	sort sort;
	12	} *letDeclNode;
	13
	14	extern void letDeclNode_free (/@only@/ /@null@/ letDeclNode p_x);