From 5370c5f1ce62cc9add4f3f6523bdd1f2b897cfa0 Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 27 Sep 2026 15:00:27 -0300
Subject: session exclusive lifetime

---
 lib/kernel/Lifecycle.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/kernel/Lifecycle.mli')

diff --git a/lib/kernel/Lifecycle.mli b/lib/kernel/Lifecycle.mli
index fa3abee..d4ef178 100644
--- a/lib/kernel/Lifecycle.mli
+++ b/lib/kernel/Lifecycle.mli
@@ -9,6 +9,7 @@ class type virtual controlled_lifecycle = object
 end
 
 class null : lifecycle
+class exclusive : lifecycle
 class virtual counted : controlled_lifecycle
 
 (** stands for [inner], carrying what it carries, while holding a
-- 
cgit v1.2.3