From 9ccb3fce8e390f09fa5b812a77f7a65c10c5e4b1 Mon Sep 17 00:00:00 2001
From: Vladimir Azarov <avm@intermediate-node.net>
Date: Wed, 4 Jun 2025 20:45:08 +0200
Subject: Registration of declarations

---
 tree.sig | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tree.sig')

diff --git a/tree.sig b/tree.sig
index a1ebf86..e06ca68 100644
--- a/tree.sig
+++ b/tree.sig
@@ -11,7 +11,7 @@ signature TREE = sig
 
   val lookup: 'k cmp -> ('k, 'v) t -> 'k -> 'v option
   val lookup2: 'k cmp -> ('k, 'v) t -> 'k ->
-        ('v -> 'v option * 'a) * 'a -> 'a * ('k, 'v) t
+        ('v option -> 'a * 'v option) -> 'a * ('k, 'v) t
 
   val print: ('k, 'v) t -> ('k -> string) -> ('v -> string) -> unit
 end
-- 
cgit v1.2.3