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 fa3abee..12964b0 100644 --- a/lib/kernel/Lifecycle.mli +++ b/lib/kernel/Lifecycle.mli @@ -16,6 +16,7 @@ class virtual counted : controlled_lifecycle the object that produced it. *) class retaining : Protocols.Handle.t -> lifecycle -> object inherit lifecycle + method to_string : string method destroy : unit method hash : Concepts.Hash.hash method protocols : Protocols.Handle.protocol list |