From 5421b17f22b09ecca688a989a268385005dad01b Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 15 Dec 2018 12:11:56 +0100
Subject: Add Map.find_opt

---
 clib/cSig.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'clib/cSig.mli')

diff --git a/clib/cSig.mli b/clib/cSig.mli
index fb36cc5b51..859018ca4b 100644
--- a/clib/cSig.mli
+++ b/clib/cSig.mli
@@ -83,6 +83,7 @@ sig
     val choose: 'a t -> (key * 'a)
     val split: key -> 'a t -> 'a t * 'a option * 'a t
     val find: key -> 'a t -> 'a
+    val find_opt : key -> 'a t -> 'a option
     val map: ('a -> 'b) -> 'a t -> 'b t
     val mapi: (key -> 'a -> 'b) -> 'a t -> 'b t
 end
-- 
cgit v1.2.3