2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
6 typedef struct _modifyNode {
10 /* if hasStoreRefList is FALSE, then it's either NOTHING or ANYTHING */
11 /* evs - this is a really kludgy way of doing this... */
12 /*@reldef@*/ storeRefNodeList list;
15 extern /*@unused@*/ /*@only@*/ cstring modifyNode_unparse (/*@null@*/ modifyNode p_m);