diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-26 01:52:08 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-09-26 01:52:08 +0000 |
| commit | 1e78dc69f7fc4b31d8b05ee2c905d3bdf27b5aa9 (patch) | |
| tree | d6ff90145d3888959e9639a31011792a15114373 /lib/kernel/Lifecycle.mli | |
| parent | 584fbca6d920e9a9f91d451667f9380714ac2175 (diff) | |
| download | RNT-relation-registration.tar.gz RNT-relation-registration.zip | |
Fix build, allow users to register relationsrelation-registration
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 |