23 typedef struct Node {  struct
26 	struct Node	*lft;	/* tree */  argument
27 	struct Node	*rgt;	/* tree */  argument
28 	struct Node	*nxt;	/* if linked list */  argument
29 } Node;  typedef
37 	Node		*New;
38 	Node		*Old;
39 	Node		*Other;
40 	Node		*Next;
71 Node	*Canonical(Node *);
72 Node	*canonical(Node *);
73 Node	*cached(Node *);
74 Node	*dupnode(Node *);
75 Node	*getnode(Node *);
76 Node	*in_cache(Node *);
77 Node	*push_negation(Node *);
78 Node	*right_linked(Node *);
79 Node	*tl_nn(int, Node *, Node *);
83 Symbol	*DoDump(Node *);
87 int	anywhere(int, Node *, Node *);
88 int	dump_cond(Node *, Node *, int);
91 int	isequal(Node *, Node *);
96 void	addtrans(Graph *, char *, Node *, char *);
98 void	dump(Node *);
107 void	releasenode(int, Node *);
113 void	trans(Node *);
115 #define ZN	(Node *)0
123 typedef Node	*Nodeptr;