Module Univ_map.Merge
Parameters
Key : Key
Input1_data : Core_kernel__.Univ_map_intf.Data1
Input2_data : Core_kernel__.Univ_map_intf.Data1
Output_data : Core_kernel__.Univ_map_intf.Data1
Signature
type 's f
=
{
f : a. key:'a Key.t -> [ `Left of ('s, 'a) Input1_data.t | `Right of ('s, 'a) Input2_data.t | `Both of ('s, 'a) Input1_data.t * ('s, 'a) Input2_data.t ] -> ('s, 'a) Output_data.t Core_kernel__.Import.option;
}
val merge : 's Make1(Key)(Input1_data).t -> 's Make1(Key)(Input2_data).t -> f:'s f -> 's Make1(Key)(Output_data).t
The analogue of the normal
Map.merge
function.