Skip to content

Commit

Permalink
Map: use '_key' and 'key' rather than 'k' in the 'union' documentation
Browse files Browse the repository at this point in the history
  • Loading branch information
yallop committed Dec 10, 2018
1 parent 3812748 commit 9797cad
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions stdlib/map.mli
Original file line number Diff line number Diff line change
Expand Up @@ -129,10 +129,10 @@ module type S =
arguments, the function [f] is used to combine them.
This is a special case of [merge]: [union f m1 m2] is equivalent
to [merge f' m1 m2], where
- [f' k None None = None]
- [f' k (Some v) None = Some v]
- [f' k None (Some v) = Some v]
- [f' k (Some v1) (Some v2) = f k v1 v2]
- [f' _key None None = None]
- [f' _key (Some v) None = Some v]
- [f' _key None (Some v) = Some v]
- [f' key (Some v1) (Some v2) = f key v1 v2]
@since 4.03.0
*)
Expand Down

0 comments on commit 9797cad

Please sign in to comment.