src/Headers/letDeclNode.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 varid;
   9   /*@null@*/ lclTypeSpecNode sortspec;
  10   termNode term;
  11   sort sort;
  12 } *letDeclNode;
  13
  14 extern void letDeclNode_free (/*@only@*/ /*@null@*/ letDeclNode p_x);