clean(Map): remove functions defined in Stdlib

This commit is contained in:
Fardale 2020-03-05 19:46:47 +01:00
parent 9107a72160
commit 853604e835
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.
@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
(** Like {!of_list}.
@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.
@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
(** Like {!of_list}.
@since 2.8 *)