1 files changed, 24 insertions, 0 deletions
diff --git a/vere/pkg/noun/log.h b/vere/pkg/noun/log.h
new file mode 100644
index 0000000..4e94147
--- /dev/null
+++ b/vere/pkg/noun/log.h
@@ -0,0 +1,24 @@
+/// @file
+
+#ifndef U3_LOG_H
+#define U3_LOG_H
+
+#include "types.h"
+
+/* u3l_log(): logs to stderr or redirects to configured function.
+*/
+  void
+  u3l_log(const char* format, ...)
+    __attribute__ ((format (printf, 1, 2)));
+
+/* u3l_punt(): condtionally logs a named punt
+ *             (e.g. "mint-punt" for the `name` "mint")
+ *             when `pro` is u3_none, and returns pro.
+ *             For use when a jet driver declines to handle
+ *             a core, when the user should be somehow notified
+ *             (e.g. in a cryptographic jet).
+ */
+  u3_weak
+  u3l_punt(const char* name, u3_weak pro);
+
+#endif /* ifndef U3_LOG_H */