2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
9 XPK_CONST, XPK_VAR, XPK_TYPE,
10 XPK_FCN, XPK_CLAIM, XPK_ITER
16 constDeclarationNode constdeclaration;
17 varDeclarationNode vardeclaration;
25 extern /*@unused@*/ /*@only@*/ cstring exportNode_unparse (exportNode p_n);