Univ_map.Merge
module Input1_data : Data
module Input2_data : Data
module Output_data : Data
type f = {
f : 'a. key:'a Key.t ->
[ `Left of 'a Input1_data.t
| `Right of 'a Input2_data.t
| `Both of 'a Input1_data.t * 'a Input2_data.t ] ->
'a Output_data.t Base.option;
}
val merge :
Make(Key)(Input1_data).t ->
Make(Key)(Input2_data).t ->
f:f ->
Make(Key)(Output_data).t
The analogue of the normal Map.merge
function.