diff options
| author | Alain Frisch <alain@frisch.fr> | 2013-01-08 09:01:02 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2013-01-08 09:01:02 +0000 |
| commit | 706f81545001043fc15d7cd5ea2324eab87c548b (patch) | |
| tree | 2454b411dddd68b53e5f59552a699ad2d9a6d8d9 /stdlib/set.mli | |
| parent | 2a7b2fc5f1ae5bf5ab38b96c177d572d8b774dd7 (diff) | |
| download | ocaml-706f81545001043fc15d7cd5ea2324eab87c548b.tar.gz | |
#5864: add a find operation to Set.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13211 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/set.mli')
| -rw-r--r-- | stdlib/set.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/stdlib/set.mli b/stdlib/set.mli index 22bb455a8f..a7ee6b6cd4 100644 --- a/stdlib/set.mli +++ b/stdlib/set.mli @@ -143,6 +143,10 @@ module type S = strictly greater than [x]; [present] is [false] if [s] contains no element equal to [x], or [true] if [s] contains an element equal to [x]. *) + + val find: elt -> t -> elt + (** [find x s] returns the element of [s] equal to [x], or raise + [Not_found] if no such element exists. *) end (** Output signature of the functor {!Set.Make}. *) |