src/Headers/signNode.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
typedef struct {
  ltoken tok;
  sortList domain;
  sort range;
  unsigned long int key;
} *signNode;

extern /*@only@*/ cstring signNode_unparse (signNode p_sn) /*@*/ ;
extern void signNode_free (/*@only@*/ signNode p_sn);
Commit	Line	Data
	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	typedef struct {
	7	ltoken tok;
	8	sortList domain;
	9	sort range;
	10	unsigned long int key;
	11	} *signNode;
	12
	13	extern /@only@/ cstring signNode_unparse (signNode p_sn) /@/ ;
	14	extern void signNode_free (/@only@/ signNode p_sn);