src/Headers/signNode.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 typedef struct {
   7   ltoken tok;
   8   sortList domain;
   9   sort range;
  10   unsigned int key;
  11 } *signNode;
  12
  13 extern /*@only@*/ cstring signNode_unparse (signNode p_sn) /*@*/ ;
  14 extern void signNode_free (/*@only@*/ signNode p_sn);