From d289f01594024a8fe64aeed56721260fab6b4e50 Mon Sep 17 00:00:00 2001 From: Vladimir Azarov Date: Sun, 18 May 2025 14:17:50 +0200 Subject: #else, #elif (rudimentary) support --- tree.sig | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'tree.sig') diff --git a/tree.sig b/tree.sig index afab259..8caf4cc 100644 --- a/tree.sig +++ b/tree.sig @@ -1,10 +1,11 @@ signature TREE = sig type ('k, 'v) t - exception Exists val empty: ('k, 'v) t - val insert: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> 'v -> ('k, 'v) t + val insert: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> 'v + -> 'v option * ('k, 'v) t + val lookup: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> 'v option val lookup2: ('k -> 'k -> order) -> ('k, 'v) t -> 'k -> ('v -> 'v option * 'a) * 'a -> 'a * ('k, 'v) t -- cgit v1.2.3