From 0354a7c21cae08cda07864dcb70a76d37fe43375 Mon Sep 17 00:00:00 2001
From: Estevan Castilho <tevo@riajuu.net>
Date: Thu, 8 Oct 2026 00:54:55 +0000
Subject: Log whenever managed objects are garbage collected

---
 lib/Logger.mli | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 lib/Logger.mli

(limited to 'lib/Logger.mli')

diff --git a/lib/Logger.mli b/lib/Logger.mli
new file mode 100644
index 0000000..21d5b73
--- /dev/null
+++ b/lib/Logger.mli
@@ -0,0 +1,3 @@
+type level = Debug | Info | Warn | Error | Fatal
+
+val log : level -> string -> unit
-- 
cgit v1.2.3