1 files changed, 12 insertions, 0 deletions
diff --git a/lib/kernel/Lifecycle.mli b/lib/kernel/Lifecycle.mli
new file mode 100644
index 0000000..f110768
--- /dev/null
+++ b/lib/kernel/Lifecycle.mli
@@ -0,0 +1,12 @@
+class type lifecycle = object
+  method reference : bool
+  method release : unit
+end
+
+class type virtual controlled_lifecycle = object
+  inherit lifecycle
+  method virtual destroy : unit
+end
+
+class null : lifecycle
+class virtual counted : controlled_lifecycle