]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | /* |
28bf4b0b | 2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. |
885824d3 | 3 | ** See ../LICENSE for license information. |
4 | ** | |
5 | */ | |
28bf4b0b | 6 | typedef struct { |
885824d3 | 7 | ltoken tok; |
8 | sortList domain; | |
9 | sort range; | |
10 | unsigned int key; | |
11 | } *signNode; | |
12 | ||
13 | extern /*@only@*/ cstring signNode_unparse (signNode p_sn) /*@*/ ; | |
14 | extern void signNode_free (/*@only@*/ signNode p_sn); |