1139 		void (*fn)(void *, struct symbol *, const char *),  in expr_print()
1143 		fn(data, NULL, "y");  in expr_print()
1148 		fn(data, NULL, "(");  in expr_print()
1152 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1154 			fn(data, NULL, "<choice>");  in expr_print()
1157 		fn(data, NULL, "!");  in expr_print()
1158 		expr_print(e->left.expr, fn, data, E_NOT);  in expr_print()
1162 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1164 			fn(data, NULL, "<choice>");  in expr_print()
1165 		fn(data, NULL, "=");  in expr_print()
1166 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1171 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1173 			fn(data, NULL, "<choice>");  in expr_print()
1174 		fn(data, NULL, e->type == E_LEQ ? "<=" : "<");  in expr_print()
1175 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1180 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1182 			fn(data, NULL, "<choice>");  in expr_print()
1183 		fn(data, NULL, e->type == E_GEQ ? ">=" : ">");  in expr_print()
1184 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1188 			fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1190 			fn(data, NULL, "<choice>");  in expr_print()
1191 		fn(data, NULL, "!=");  in expr_print()
1192 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1195 		expr_print(e->left.expr, fn, data, E_OR);  in expr_print()
1196 		fn(data, NULL, " || ");  in expr_print()
1197 		expr_print(e->right.expr, fn, data, E_OR);  in expr_print()
1200 		expr_print(e->left.expr, fn, data, E_AND);  in expr_print()
1201 		fn(data, NULL, " && ");  in expr_print()
1202 		expr_print(e->right.expr, fn, data, E_AND);  in expr_print()
1205 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1207 			fn(data, NULL, " ^ ");  in expr_print()
1208 			expr_print(e->left.expr, fn, data, E_LIST);  in expr_print()
1212 		fn(data, NULL, "[");  in expr_print()
1213 		fn(data, e->left.sym, e->left.sym->name);  in expr_print()
1214 		fn(data, NULL, " ");  in expr_print()
1215 		fn(data, e->right.sym, e->right.sym->name);  in expr_print()
1216 		fn(data, NULL, "]");  in expr_print()
1222 		fn(data, NULL, buf);  in expr_print()
1227 		fn(data, NULL, ")");  in expr_print()
1281 			      void (*fn)(void *, struct symbol *, const char *),  in expr_print_revdep()
1285 		expr_print_revdep(e->left.expr, fn, data, pr_type, title);  in expr_print_revdep()
1286 		expr_print_revdep(e->right.expr, fn, data, pr_type, title);  in expr_print_revdep()
1289 			fn(data, NULL, *title);  in expr_print_revdep()
1293 		fn(data, NULL, "  - ");  in expr_print_revdep()
1294 		expr_print(e, fn, data, E_NONE);  in expr_print_revdep()
1295 		fn(data, NULL, "\n");  in expr_print_revdep()