diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-18 16:29:39 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-02-18 16:48:55 +0100 |
| commit | fa6629d6e139f63c6e1a2d6a9bff97338821f3a4 (patch) | |
| tree | c22a3571a32f9885952daa6f17bdac085f1b0b1d /stdlib | |
| parent | 83848d410a06e515d1f039116faaebb3a4719a66 (diff) | |
| download | ocaml-fa6629d6e139f63c6e1a2d6a9bff97338821f3a4.tar.gz | |
Map: nonsensical documentation of find_opt
Cut and paste causes much damage. Does anyone proofread documentation?
Diffstat (limited to 'stdlib')
| -rw-r--r-- | stdlib/map.mli | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/map.mli b/stdlib/map.mli index 59c90708a7..61736e7e3c 100644 --- a/stdlib/map.mli +++ b/stdlib/map.mli @@ -233,8 +233,8 @@ module type S = or raises [Not_found] if no such binding exists. *) val find_opt: key -> 'a t -> 'a option - (** [find_opt x m] returns the current binding of [x] in [m], - or raises [Not_found] if no such binding exists. + (** [find_opt x m] returns [Some v] if the current binding of [x] + in [m] is [v], or [None] if no such binding exists. @since 4.05 *) |