src/Headers/quantifiedTermNode.h

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