/* ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003. ** See ../LICENSE for license information. ** */ typedef struct { ltoken name; paramNodeList params; /*@null@*/ globalList globals; /*@null@*/ letDeclNodeList lets; /*@null@*/ lclPredicateNode require; /*@null@*/ programNode body; /*@null@*/ lclPredicateNode ensures; } *claimNode; extern /*@unused@*/ /*@only@*/ cstring claimNode_unparse (claimNode p_c);