src/Headers/enumSpecNode.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   ltoken tok;
   9   ltoken opttagid;
  10   /*@owned@*/ ltokenList enums;
  11   sort sort;
  12 } *enumSpecNode;
  13
  14 extern /*@unused@*/ /*@only@*/
  15   cstring enumSpecNode_unparse(/*@null@*/ enumSpecNode p_n) /*@*/ ;
  16