2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
3 ** See ../LICENSE for license information.
7 typedef struct _quantifiedTermNode {
8 quantifierNodeList quantifiers;
9 ltoken open; /* for ease of debugging */
10 struct _termNode *body;
11 ltoken close; /* for ease of debugging */
12 } *quantifiedTermNode;