diff options
author | KC Sivaramakrishnan <kc@kcsrk.info> | 2021-12-13 22:19:23 +0530 |
---|---|---|
committer | KC Sivaramakrishnan <kc@kcsrk.info> | 2021-12-13 22:19:23 +0530 |
commit | 40b4863c1aa6ef5c4ca69997826faaf1991ae1c4 (patch) | |
tree | cf150811a82cd97006e03cabedc1e0b7aae6dd02 /stdlib/ephemeron.mli | |
parent | 384c9788bacf44fecd94dfad1ad9899f43510ab1 (diff) | |
download | ocaml-40b4863c1aa6ef5c4ca69997826faaf1991ae1c4.tar.gz |
Remove mentions of iter and fold from docstrings
Diffstat (limited to 'stdlib/ephemeron.mli')
-rw-r--r-- | stdlib/ephemeron.mli | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/stdlib/ephemeron.mli b/stdlib/ephemeron.mli index e12d48052a..f62ef34755 100644 --- a/stdlib/ephemeron.mli +++ b/stdlib/ephemeron.mli @@ -70,9 +70,6 @@ module type S = sig the bindings are weak, even if [mem h k] is true, a subsequent [find h k] may raise [Not_found] because the garbage collector can run between the two. - - Moreover, the table shouldn't be modified during a call to [iter]. - Use [filter_map_inplace] in this case. *) type key |