diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-04 15:57:00 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-04-04 15:57:00 +0000 |
| commit | cb1ae6ffdfd9604acb674435200768d535a67a03 (patch) | |
| tree | 867f2fec699e83d6dc59cd34d222bffda80cc14a /stdlib/map.mli | |
| parent | c4d10d8199213ce60075e30bc19b7b9fea0d94fd (diff) | |
Ajout de Map.remove.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@739 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/map.mli')
| -rw-r--r-- | stdlib/map.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stdlib/map.mli b/stdlib/map.mli index d2460eb4b..3da155581 100644 --- a/stdlib/map.mli +++ b/stdlib/map.mli @@ -51,6 +51,9 @@ module type S = val find: key -> 'a t -> 'a (* [find x m] returns the current binding of [x] in [m], or raises [Not_found] if no such binding exists. *) + val remove: key -> 'a t -> 'a t + (* [remove x m] returns a map containing the same bindings as + [m], except for [x] which is unbound in the returned map. *) val iter: (key -> 'a -> 'b) -> 'a t -> unit (* [iter f m] applies [f] to all bindings in map [m], discarding the results. |