/*
-** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
-typedef struct _abstBodyNode {
+struct s_abstBodyNode {
ltoken tok; /* check for NULLTOKEN before using it */
- /*@null@*/ struct _lclPredicateNode *typeinv;
+ /*@null@*/ lclPredicateNode typeinv;
fcnNodeList fcns; /* only for abstBody, not for optExposedBody */
-} *abstBodyNode;
+} ;
extern /*@unused@*/ /*@only@*/ cstring abstBodyNode_unparse (abstBodyNode p_n);