Module `Map.Merge_element`Source

Sourcetype ('left, 'right) t = [

]

Sourceval left : ('left, 'a) Core.Map.Merge_element.t -> 'left Base.Option.t

Sourceval right : ('a, 'right) Core.Map.Merge_element.t -> 'right Base.Option.t

Sourceval left_value : ('left, 'a) Core.Map.Merge_element.t -> default:'left -> 'left

val right_value : 
  ('a, 'right) Core.Map.Merge_element.t ->
  default:'right ->
  'right

val values : 
  ('left, 'right) Core.Map.Merge_element.t ->
  left_default:'left ->
  right_default:'right ->
  'left * 'right

Module Map.Merge_elementSource