Module Univ_map.Merge

Parameters

module Key : Key
module Input1_data : Data
module Input2_data : Data
module Output_data : Data

Signature

type f = {
  1. 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;
}

The analogue of the normal Map.merge function.