2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
7 struct s_abstBodyNode {
8 ltoken tok; /* check for NULLTOKEN before using it */
9 /*@null@*/ lclPredicateNode typeinv;
10 fcnNodeList fcns; /* only for abstBody, not for optExposedBody */
13 extern /*@unused@*/ /*@only@*/ cstring abstBodyNode_unparse (abstBodyNode p_n);