diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ephemeron.ml | 2 | ||||
| -rw-r--r-- | lib/ephemeron.mli | 2 |
2 files changed, 4 insertions, 0 deletions
diff --git a/lib/ephemeron.ml b/lib/ephemeron.ml index ee763086c9..d4ce7b1eac 100644 --- a/lib/ephemeron.ml +++ b/lib/ephemeron.ml @@ -85,3 +85,5 @@ let iter_opt k f = with | None -> () | Some v -> f v + +let clear () = run_collection () diff --git a/lib/ephemeron.mli b/lib/ephemeron.mli index bc34c5c66f..c1ceb3fd97 100644 --- a/lib/ephemeron.mli +++ b/lib/ephemeron.mli @@ -48,3 +48,5 @@ val get : 'a key -> 'a (* These never fail. *) val iter_opt : 'a key -> ('a -> unit) -> unit val default : 'a key -> 'a -> 'a + +val clear : unit -> unit |