From fbe455330a8353738c2b47bc9c00eca18054989e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Thu, 30 Jan 2020 00:26:24 +0100
Subject: Remove unused CEphemeron.iter_opt, cleanup comments

---
 clib/cEphemeron.ml  | 4 ----
 clib/cEphemeron.mli | 6 +++---
 2 files changed, 3 insertions(+), 7 deletions(-)

diff --git a/clib/cEphemeron.ml b/clib/cEphemeron.ml
index a2a6933e36..78aa8266e4 100644
--- a/clib/cEphemeron.ml
+++ b/clib/cEphemeron.ml
@@ -103,8 +103,4 @@ let default (typ, boxkey) default =
   try (EHashtbl.find values boxkey).get typ
   with Not_found -> default
 
-let iter_opt (typ, boxkey) f =
-  try f ((EHashtbl.find values boxkey).get typ)
-  with Not_found -> ()
-
 let clean () = EHashtbl.clean values
diff --git a/clib/cEphemeron.mli b/clib/cEphemeron.mli
index 4c10a3d66f..e567e9b2c5 100644
--- a/clib/cEphemeron.mli
+++ b/clib/cEphemeron.mli
@@ -43,12 +43,12 @@ type 'a key
 
 val create : 'a -> 'a key
 
-(* May raise InvalidKey *)
 exception InvalidKey
+
 val get : 'a key -> 'a
+(** May raise InvalidKey *)
 
-(* These never fail. *)
 val default : 'a key -> 'a -> 'a
-val iter_opt : 'a key -> ('a -> unit) -> unit
+(** Never fails. *)
 
 val clean : unit -> unit
-- 
cgit v1.2.3