src/Headers/arrayQualNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 typedef struct _arrayQualNode {
   7   ltoken tok;
   8   /*@null@*/ struct _termNode *term;
   9 } *arrayQualNode;