clean(Map): remove functions defined in Stdlib

This commit is contained in:
Fardale 2020-03-05 19:46:47 +01:00 committed by Simon Cruanes
parent 0d9b4d910a
commit 80ad2f349f
2 changed files with 0 additions and 10 deletions

View file

@ -57,11 +57,6 @@ module type S = sig
(** [merge_safe ~f a b] merges the maps [a] and [b] together. (** [merge_safe ~f a b] merges the maps [a] and [b] together.
@since 0.17 *) @since 0.17 *)
val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
(** Union of both maps, using the function to combine bindings
that belong to both inputs.
@since 1.4 *)
val of_iter : (key * 'a) iter -> 'a t val of_iter : (key * 'a) iter -> 'a t
(** Like {!of_list}. (** Like {!of_list}.
@since 2.8 *) @since 2.8 *)

View file

@ -68,11 +68,6 @@ module type S = sig
(** [merge_safe ~f a b] merges the maps [a] and [b] together. (** [merge_safe ~f a b] merges the maps [a] and [b] together.
@since 0.17 *) @since 0.17 *)
val union : (key -> 'a -> 'a -> 'a option) -> 'a t -> 'a t -> 'a t
(** Union of both maps, using the function to combine bindings
that belong to both inputs.
@since 1.4 *)
val of_iter : (key * 'a) iter -> 'a t val of_iter : (key * 'a) iter -> 'a t
(** Like {!of_list}. (** Like {!of_list}.
@since 2.8 *) @since 2.8 *)