diff options
Diffstat (limited to 'lib/kernel/Lifecycle.mli')
| -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 d4ef178..a323197 100644 --- a/lib/kernel/Lifecycle.mli +++ b/lib/kernel/Lifecycle.mli @@ -1,6 +1,7 @@ class type lifecycle = object method reference : bool method release : unit + method is_managed : bool end class type virtual controlled_lifecycle = object |