+ return true;
+}
+
+void psi_let_callback_dump(int fd, struct psi_let_callback *callback,
+ unsigned level)
+{
+ dprintf(fd, "callback %s(%s(",
+ callback->func->name,
+ callback->func->var->name);
+
+ if (callback->args) {
+ size_t i = 0, last = psi_plist_count(callback->args);
+ struct psi_set_exp *set;
+
+ dprintf(fd, "\n");
+ ++level;
+ while (psi_plist_get(callback->args, i++, &set)) {
+ psi_set_exp_dump(fd, set, level, i == last);
+ dprintf(fd, "\n");
+ }
+ --level;
+ dprintf(fd, "%s", psi_t_indent(level));
+ }
+ dprintf(fd, "))");