2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
10 /*@null@*/ globalList globals;
11 /*@null@*/ letDeclNodeList lets;
12 /*@null@*/ lclPredicateNode require;
13 /*@null@*/ programNode body;
14 /*@null@*/ lclPredicateNode ensures;
17 extern /*@unused@*/ /*@only@*/ cstring claimNode_unparse (claimNode p_c);