aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols
diff options
context:
space:
mode:
Diffstat (limited to 'lib/protocols')
-rw-r--r--lib/protocols/Handle.ml2
-rw-r--r--lib/protocols/Handle.mli2
2 files changed, 4 insertions, 0 deletions
diff --git a/lib/protocols/Handle.ml b/lib/protocols/Handle.ml
index 23af476..524386b 100644
--- a/lib/protocols/Handle.ml
+++ b/lib/protocols/Handle.ml
@@ -39,6 +39,8 @@ let copy handle =
let equal h1 h2 =
Concepts.Hash.hash_equals (object_of h1)#hash (object_of h2)#hash
+let hash h = (object_of h)#hash
+
let release ({ valid; _ } as handle) =
let o = object_of handle in
valid := false;
diff --git a/lib/protocols/Handle.mli b/lib/protocols/Handle.mli
index fb93cdd..f36c95e 100644
--- a/lib/protocols/Handle.mli
+++ b/lib/protocols/Handle.mli
@@ -20,3 +20,5 @@ val invoke : 'a interface -> ('a -> 'b) -> 'b
val copy : t -> t option
val equal : t -> t -> bool
val release : t -> unit
+
+val hash : t -> Concepts.Hash.hash