diff options
Diffstat (limited to '')
| -rw-r--r-- | lib/kernel/Lifecycle.mli | 1 |
1 files changed, 1 insertions, 0 deletions
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 |